LIPIcs, Volume 39, TYPES 2014

• Hugo Herbelin, Pierre Letouzey, and Matthieu Sozeau LIPIcs, Volume 39, TYPES'14, Complete Volume 10.4230/LIPIcs.TYPES.2014
• Hugo Herbelin, Pierre Letouzey, and Matthieu Sozeau Front Matter, Table of Contents, Preface, Authors Index 10.4230/LIPIcs.TYPES.2014.i
• Benedikt Ahrens and Régis Spadotti Terminal Semantics for Codata Types in Intensional Martin-Löf Type Theory 10.4230/LIPIcs.TYPES.2014.1
• Ali Assaf A Calculus of Constructions with Explicit Subtyping 10.4230/LIPIcs.TYPES.2014.27
• Raphaël Cauderlier and Catherine Dubois Objects and Subtyping in the Lambda-Pi-Calculus Modulo 10.4230/LIPIcs.TYPES.2014.47
• Olivier Danvy, Chantal Keller, and Matthias Puech Typeful Normalization by Evaluation 10.4230/LIPIcs.TYPES.2014.72
• Jules Hedges Dialectica Categories and Games with Bidding 10.4230/LIPIcs.TYPES.2014.89
• Nicolai Kraus The General Universal Property of the Propositional Truncation 10.4230/LIPIcs.TYPES.2014.111
• Jean-Louis Krivine On the Structure of Classical Realizability Models of ZF 10.4230/LIPIcs.TYPES.2014.146
• Maria Emilia Maietti and Samuele Maschio An Extensional Kleene Realizability Semantics for the Minimalist Foundation 10.4230/LIPIcs.TYPES.2014.162
• Erik Parmann Investigating Streamless Sets 10.4230/LIPIcs.TYPES.2014.187
• Andrew M. Pitts Nominal Presentation of Cubical Sets Models of Type Theory 10.4230/LIPIcs.TYPES.2014.202
• Andrew Polonsky Extensionality of lambda-* 10.4230/LIPIcs.TYPES.2014.221
• Aleksy Schubert, Pawel Urzyczyn, and Daria Walukiewicz-Chrzaszcz Restricted Positive Quantification Is Not Elementary 10.4230/LIPIcs.TYPES.2014.251
• Sergei Soloviev On Isomorphism of Dependent Products in a Typed Logical Framework 10.4230/LIPIcs.TYPES.2014.274
• Silvia Steila An Intuitionistic Analysis of Size-change Termination 10.4230/LIPIcs.TYPES.2014.288