Homotopy Type Theory

Discussion of Homotopy Type Theory and Univalent Foundations

Showing 1-20 of 621 topics
Questions regarding univalence as generalized extensionality Martín Hötzel Escardó 3:58 PM
The Interval type in Hott vs. in real analysis du yu 10/17/17
Canonical forms for initiality Michael Shulman 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
Research Fellowship at Leeds Nicola Gambino 10/11/17
A question regarding certain rules Dimitris Tsementzis 10/9/17
nytimes obit Robert Harper 10/6/17
Voevodsky obituary Daniel R. Grayson 10/4/17
Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations Anders Mörtberg 10/4/17
Gathering in Remembrance of Vladimir Voevodsky, Sunday at IAS Daniel R. Grayson 10/4/17
Two positions as Associate professor in mathematics at Stockholm University palmgren 9/28/17
First-Order Logic with Isomorphism Dimitris Tsementzis 9/26/17
Characterizing the equality of Indexed W types jas...@cs.washington.edu 9/13/17
School and workshop on univalent mathematics, 11-15 Dec, Birmingham (UK) Krzysztof Kapulkin 9/1/17
univalence without coherent equivalences Michael Shulman 8/14/17
[HoTT] Native coinductive records for cubical type theory Andrea Vezzosi 8/11/17
More topics »