Abstract is missing.
- Functional Kan Simplicial Sets: Non-Constructivity of ExponentiationErik Parmann. [doi]
- Front Matter, Table of Contents, Preface, Externqal Reviewers [doi]
- A Type Theory for Probabilistic and Bayesian ReasoningRobin Adams, Bart Jacobs 0001. [doi]
- Efficient Type Checking for Path PolymorphismJuan Edi, Andrés Viso, Eduardo Bonelli. [doi]
- Cubical Type Theory: A Constructive Interpretation of the Univalence AxiomCyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg. [doi]
- Heterogeneous Substitution Systems RevisitedBenedikt Ahrens, Ralph Matthes. [doi]
- A Certified Study of a Reversible Programming LanguageLuca Paolini, Mauro Piccolo, Luca Roversi. [doi]
- Towards a Cubical Type Theory without an IntervalThorsten Altenkirch, Ambrus Kaposi. [doi]
- Pi-Ware: Hardware Description and Verification in AgdaJoão Paulo Pizani Flor, Wouter Swierstra, Yorick Sijsling. [doi]
- Constrained Polymorphic Types for a Calculus with Name VariablesDavide Ancona, Paola Giannini, Elena Zucca. [doi]