default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTYPES 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
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.
last updated on 2025-01-10 18:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
