Homotopy Type Theory

Discussion of Homotopy Type Theory and Univalent Foundations

Showing 1-20 of 451 topics
simplicial sets with symmetries ? Bas Spitters 8/23/15
Understanding cubical type theory Richard Williamson 8/22/15
Periodic HoTT? Eric Finster 8/14/15
Logic in MLTT/HoTT/UF Martín Escardó 8/12/15
A question about the computability of univalence Timothy Carstens 8/10/15
Voevodsky on formalizing type theory Bas Spitters 8/4/15
Jobs at the University of Leeds Nicola Gambino 8/4/15
LFCS'16 Call for Papers Steve Awodey 7/30/15
next year memberships at the IAS v v 7/29/15
visiting researcher position in HoTT at CMU Steve Awodey 7/27/15
Re: [HoTT] Voevodsky on formalizing type theory Martín Escardó 7/19/15
Regarding the Universal Constant Map Gershom B 7/19/15
universe polymorphism problem v v 7/19/15
Re: [HoTT] universe-polymorphic assumptions Martín Escardó 7/15/15
Re: [Agda] question about a form of irrelevance elimination Neelakantan Krishnaswami 7/14/15
universe-polymorphic assumptions Michael Shulman 7/13/15
Locally Cartesian Closed Quasicategories from Type Theory Bas Spitters 7/13/15
Inductives via parametricity (was Re: [HoTT] universe-polymorphic assumptions) Jason Gross 7/9/15
a cubical type theory coquand 7/3/15
Martin-Lof's J is just Yoneda Martín Escardó 7/2/15
More topics »