Abstract is missing.
- Finite Combinatory Logic with PredicatesAndrej Dudenhefner, Christoph Stahl, Constantin Chaumet, Felix Laarmann, Jakob Rehof. [doi]
- A Reflection Principle for Potential Infinite Models of Type TheoryMatthias Eberl. [doi]
- Consistent Ultrafinitist LogicMichal J. Gajda. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Classification of Covering Spaces and Canonical Change of BasepointJelle Wemmenhove, Cosmin Manea, Jim Portegies. [doi]
- A Sound and Complete Substitution Algorithm for Multimode Type TheoryJoris Ceulemans, Andreas Nuyts, Dominique Devriese. [doi]
- Categorical Models of SubtypingGreta Coraglia, Jacopo Emmenegger. [doi]