Homotopy Type Theory

Discussion of Homotopy Type Theory and Univalent Foundations

Showing 1-20 of 517 topics
Univalent type theory Martín Escardó 3:19 PM
regular infinity-actions Michael Shulman 1:38 PM
New preprint - Computational Higher Type Theory I: Abstract Cubical Realizability Carlo Angiuli 5/2/16
1-year teaching / research position Steve Awodey 4/29/16
PhD positions at the ILLC in Amsterdam Benno van den Berg 4/25/16
Constructive Kan universe Richard Garner 4/24/16
Deadline Extension: UF/HoTT Porto, 25--26 June, at FSCD 2016 nicolas tabareau 4/20/16
LC2016: approaching deadlines Nicola Gambino 4/14/16
Second CfP: UF/HoTT Porto, 25--26 June, at FSCD 2016 Peter LeFanu Lumsdaine 4/13/16
A note on ||X|| vs. ¬¬X Martín Escardó 4/8/16
Workshop on Categorical Logic and Univalent Foundations Andrew Swan 4/7/16
Lectureship in Mathematical Logic, University of Leeds Nicola Gambino 4/5/16
PhD position in guarded homotopy type theory Bas Spitters 3/31/16
Fwd: Doodle: Link for poll "Thesis defense date" Kristina Sojakova 3/28/16
ICMS 2016 v v 3/24/16
unique uniqueness Martín Escardó 3/21/16
Database of formal proofs Jamie Vicary 3/20/16
CfP: UF/HoTT workshop, Porto, 25--26 June, with FSCD 2016 Peter LeFanu Lumsdaine 3/11/16
cubical type theory coquand 3/8/16
Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016 Krzysztof Kapulkin 2/25/16
More topics »