![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
TYPES 2014: Paris, France
- Hugo Herbelin, Pierre Letouzey, Matthieu Sozeau:
20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France. LIPIcs 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-88-0 - Front Matter, Table of Contents, Preface, Authors Index. i-x
- Benedikt Ahrens
, Régis Spadotti:
Terminal Semantics for Codata Types in Intensional Martin-Löf Type Theory. 1-26 - Ali Assaf:
A Calculus of Constructions with Explicit Subtyping. 27-46 - Raphaël Cauderlier, Catherine Dubois:
Objects and Subtyping in the Lambda-Pi-Calculus Modulo. 47-71 - Olivier Danvy
, Chantal Keller, Matthias Puech:
Typeful Normalization by Evaluation. 72-88 - Jules Hedges:
Dialectica Categories and Games with Bidding. 89-110 - Nicolai Kraus
:
The General Universal Property of the Propositional Truncation. 111-145 - Jean-Louis Krivine:
On the Structure of Classical Realizability Models of ZF. 146-161 - Maria Emilia Maietti, Samuele Maschio:
An Extensional Kleene Realizability Semantics for the Minimalist Foundation. 162-186 - Erik Parmann:
Investigating Streamless Sets. 187-201 - Andrew M. Pitts:
Nominal Presentation of Cubical Sets Models of Type Theory. 202-220 - Andrew Polonsky:
Extensionality of lambda-*. 221-250 - Aleksy Schubert
, Pawel Urzyczyn, Daria Walukiewicz-Chrzaszcz:
Restricted Positive Quantification Is Not Elementary. 251-273 - Sergei Soloviev:
On Isomorphism of Dependent Products in a Typed Logical Framework. 274-287 - Silvia Steila:
An Intuitionistic Analysis of Size-change Termination. 288-307
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.