LIPIcs, Volume 69, TYPES 2015

• Tarmo Uustalu LIPIcs, Volume 69, TYPES'15, Complete Volume 10.4230/LIPIcs.TYPES.2015
• Tarmo Uustalu Front Matter, Table of Contents, Preface, External Reviewers 10.4230/LIPIcs.TYPES.2015.0
• Robin Adams and Bart Jacobs A Type Theory for Probabilistic and Bayesian Reasoning 10.4230/LIPIcs.TYPES.2015.1
• Benedikt Ahrens and Ralph Matthes Heterogeneous Substitution Systems Revisited 10.4230/LIPIcs.TYPES.2015.2
• Thorsten Altenkirch and Ambrus Kaposi Towards a Cubical Type Theory without an Interval 10.4230/LIPIcs.TYPES.2015.3
• Davide Ancona, Paola Giannini, and Elena Zucca Constrained Polymorphic Types for a Calculus with Name Variables 10.4230/LIPIcs.TYPES.2015.4
• Cyril Cohen, Thierry Coquand, Simon Huber, and Anders Mörtberg Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom 10.4230/LIPIcs.TYPES.2015.5
• Juan Edi, Andrés Viso, and Eduardo Bonelli Efficient Type Checking for Path Polymorphism 10.4230/LIPIcs.TYPES.2015.6
• Luca Paolini, Mauro Piccolo, and Luca Roversi A Certified Study of a Reversible Programming Language 10.4230/LIPIcs.TYPES.2015.7
• Erik Parmann Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation 10.4230/LIPIcs.TYPES.2015.8
• João Paulo Pizani Flor, Wouter Swierstra, and Yorick Sijsling Pi-Ware: Hardware Description and Verification in Agda 10.4230/LIPIcs.TYPES.2015.9