Homotopy Type Theory

Discussion of Homotopy Type Theory and Univalent Foundations

Showing 1-20 of 633 topics
Impredicative set + function extensionality + proof irrelevance consistent? Kristina Sojakova 9:00 AM
Yet another characterization of univalence Martín Hötzel Escardó 12/8/17
computational higher type theory iii and cartesian cubical formal type theory Prof. Robert Harper 12/5/17
postdoctoral positions at the University of Western Ontario Krzysztof Kapulkin 11/26/17
PhD positions at CMU awodey 11/19/17
PhD positions available in Birmingham, UK Benedikt Ahrens 11/19/17
Conference in honor of Thomas C. Hales: "From the Fundamental Lemma to Discrete Geometry, to Formal Verification", June 18-22, 2018 at the University of Pittsburgh Krzysztof Kapulkin 11/17/17
AMS Special Session on Homotopy Type Theory at the JMM Ed Morehouse 11/13/17
Voevodsky obituary in Nature Daniel R. Grayson 11/7/17
Define transport as the primitive operation of cubicaltt and derive composition from it? Yuhao Huang 11/5/17
Canonical forms for initiality Michael Shulman 10/30/17
Definition of semantic composition in CCHM cubical type theory jas...@cs.washington.edu 10/24/17
Voevodsky's unpublished works Daniel R. Grayson 10/20/17
Questions regarding univalence as generalized extensionality Martín Hötzel Escardó 10/18/17
The Interval type in Hott vs. in real analysis du yu 10/17/17
A small observation on cumulativity and the failure of initiality Dimitris Tsementzis 10/16/17
CFP: ITP 2018 Jeremy 10/15/17
Vladimir Voevodsky Daniel R. Grayson 10/14/17
an obit of Voevodsky in Quanta Magazine Daniel R. Grayson 10/11/17
Voevodsky gathering will be streamed, live Daniel R. Grayson 10/11/17
More topics »