Abstract is missing.
- Front Matter, Table of Contents, Preface, Authors Index [doi]
- Terminal Semantics for Codata Types in Intensional Martin-Löf Type TheoryBenedikt Ahrens, Régis Spadotti. 1-26 [doi]
- A Calculus of Constructions with Explicit SubtypingAli Assaf. 27-46 [doi]
- Objects and Subtyping in the Lambda-Pi-Calculus ModuloRaphaël Cauderlier, Catherine Dubois. 47-71 [doi]
- Typeful Normalization by EvaluationOlivier Danvy, Chantal Keller, Matthias Puech. 72-88 [doi]
- Dialectica Categories and Games with BiddingJules Hedges. 89-110 [doi]
- The General Universal Property of the Propositional TruncationNicolai Kraus. 111-145 [doi]
- On the Structure of Classical Realizability Models of ZFJean-Louis Krivine. 146-161 [doi]
- An Extensional Kleene Realizability Semantics for the Minimalist FoundationMaria Emilia Maietti, Samuele Maschio. 162-186 [doi]
- Investigating Streamless SetsErik Parmann. 187-201 [doi]
- Nominal Presentation of Cubical Sets Models of Type TheoryAndrew M. Pitts. 202-220 [doi]
- Extensionality of lambda-*Andrew Polonsky. 221-250 [doi]
- Restricted Positive Quantification Is Not ElementaryAleksy Schubert, Pawel Urzyczyn, Daria Walukiewicz-Chrzaszcz. 251-273 [doi]
- On Isomorphism of Dependent Products in a Typed Logical FrameworkSergei Soloviev. 274-287 [doi]
- An Intuitionistic Analysis of Size-change TerminationSilvia Steila. 288-307 [doi]