Thomas Streicher, Various ways of splitting and equality of objects
Martin Hofmann, The groupoid interpretation of type theory, a personal retrospective (Hofmann's slides from DMV2015)
Nicola Gambino, Aspects of univalence (Gambino)
Urs Schreiber, Some thoughts on the future of modal homotopy type theory (Notes)
Bas Spitters, Cubical sets as a classifying topos
Benno van den Berg, Weak universes and homotopy exact completion
Steve Awodey, On the cubical model of HoTT
Simon Huber, A Cubical Type Theory
Thorsten Altenkirch, The coherence problem in HoTT
Møgelberg, Towards guarded recursion in HoTT
v. Glehn, Models of homotopy type theory
Peter Lumsdaine, Formalising the categorical semantics of type theory, in type theory
Revision on September 25, 2015 at 11:11:01 by Urs Schreiber. See the history of this page for a list of all contributions to it.