Abstract is missing.
- A Simpler Undecidability Proof for System F InhabitationAndrej Dudenhefner, Jakob Rehof. [doi]
- Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional ResizingTaichi Uemura. [doi]
- Martin Hofmann's Case for Non-Strictly Positive Data TypesUlrich Berger 0001, Ralph Matthes, Anton Setzer. [doi]
- New Formalized Results on the Meta-Theory of a Paraconsistent LogicAnders Schlichtkrull. [doi]
- Semantic Subtyping for Non-Strict LanguagesTommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca. [doi]
- Dependent Sums and Dependent Products in Bishop's Set TheoryIosif Petrakis. [doi]
- Normalization by Evaluation for Typed Weak lambda-ReductionFilippo Sestini. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]