Homotopy Type Theory

Discussion of Homotopy Type Theory and Univalent Foundations

Showing 1-20 of 434 topics
Periodic HoTT? Eric Finster 9:35 AM
Moderation is now off Andrej Bauer 2:18 AM
Judgemental equality crisis Martín Escardó 7/1/15
Certified Programs and Proofs (CPP 2016) Jeremy 6/10/15
a cubical type theory coquand 6/8/15
HoTT Postdoc Available Steve Awodey 5/22/15
Fwd: Types-announce Digest, Vol 113, Issue 11 Steve Awodey 5/21/15
Lurie on univalent foundations: "no comment" Bas Spitters 5/19/15
Martin-Lof's J is just Yoneda Martín Escardó 5/12/15
Vacancies in "Computational Aspects of Univalence" at UiB (Norway) Marc Bezem 5/12/15
PhD studentship in Nottingham available Thorsten Altenkirch 5/8/15
MathSciNet review of the HoTT book Bas Spitters 4/29/15
Call for Papers: Logic Section at the DMV Steve Awodey 4/18/15
Lectureship in Pure Mathematics, University of Leeds Nicola Gambino 4/13/15
HoTT/UF workshop at TLCA Warsaw, abstract deadline Apr 15 Peter LeFanu Lumsdaine 4/8/15
semantic universe polymorphism Michael Shulman 4/2/15
not all types are propositions v v 4/1/15
Strings in Coq-HoTT Marco Maggesi 3/25/15
HITs with inductive higher constructors Thorsten Altenkirch 3/23/15
Are HITs and univalent universes dense? Fran Mota 3/22/15
More topics »