Homotopy Type Theory

Discussion of Homotopy Type Theory and Univalent Foundations

Showing 1-20 of 527 topics
Guarded Cubical Type Theory Bas Spitters 6/24/16
PhD thesis: On the homotopy groups of spheres in homotopy type theory Guillaume Brunerie 6/21/16
Is synthetic the right word? andré hirschowitz 6/16/16
What is UF, what is HoTT and what is a univalent type theory? Martín Escardó 6/14/16
How to make software without money Andrej Bauer 6/13/16
Workshop on Categorical Logic and Univalent Foundations: Deadline Approaching Andrew Swan 6/12/16
Live streaming for the Workshop on Homotopy Type Theory and Univalent Foundations at Fields Insittute Krzysztof Kapulkin 5/16/16
Workshop on Foundations of Mathematics: Univalent Foundations and Set Theory (FOMUS), 18-23 July, Bielefeld Balthasar Grabmayr 5/16/16
LC2016: early registration deadline Nicola Gambino 5/13/16
Safe propositional resizing in Agda Martín Escardó 5/10/16
Univalent type theory Martín Escardó 5/6/16
regular infinity-actions Michael Shulman 5/6/16
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
More topics »