Homotopy Type Theory

Discussion of Homotopy Type Theory and Univalent Foundations

Showing 1-20 of 533 topics
ICMS 2016 most special session slides added v v 12:09 PM
FOMUS slides v v 7/26/16
CFP: special issue of JAR on HoTT and univalent foundations nicolas tabareau 7/25/16
What's so great about decidable proof checking? Matt Oliveri 7/20/16
Different notions of equality; terminology Andrew Polonsky 7/19/16
Fwd: [PVS] tenure track position in Theoretical Computer Science v v 7/8/16
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
More topics »