Homotopy Type Theory

Discussion of Homotopy Type Theory and Univalent Foundations

Showing 1-20 of 678 topics
Where is the problem with initiality? Michael Shulman 5/24/18
Autumn school "Proof and Computation" Chuangjie Xu 5/21/18
Univalence <-> equivalence induction Martín Hötzel Escardó 5/19/18
Summer Opportunities for Young Researcher Joseph Johnson 5/16/18
Bishop's work on type theory Martín Hötzel Escardó 5/9/18
UF-IAS-2012 wiki archived Michael Shulman 5/7/18
Martin-Löf '86 Colin Zwanziger 5/5/18
Eckmann-Hilton for triple loop space Jamie Vicary 5/5/18
Re: A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument) james...@berkeley.edu 5/2/18
1st announcement, Vladimir Voevodsky Memorial Conference Daniel R. Grayson 4/27/18
PhD Thesis Jean Joseph 4/26/18
Univalence from scratch Martín Hötzel Escardó 4/24/18
Midwest HoTT Seminar, May 26-27, 2018, University of Western Ontario Krzysztof Kapulkin 4/22/18
postdoc position available in semantics of dynamical systems sanjeevi krishnan 4/12/18
Final Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18) Anders Mörtberg 4/8/18
Federated Logic Conference student travel support Jeremy Avigad 3/15/18
Do (co)limits commute with (co)limits? Andrej Bauer 3/14/18
LFMTP'18: Logical Frameworks and Meta Languages: Theory and Practice - Call for Papers Frédéric Blanqui 3/9/18
Categories with 2-families Michael Shulman 3/8/18
Reminder: From the Fundamental Lemma to Discrete Geometry, to Formal Verification Jeremy Avigad 3/7/18
More topics »