Homotopy Type Theory

Discussion of Homotopy Type Theory and Univalent Foundations

Showing 1-20 of 664 topics
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
Univalence from scratch Martín Hötzel Escardó 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
Extended deadline: Summer School on Types, Sets and Constructions, Bonn, Germany, 3-9 May 2018 awodey 3/2/18
PhD-positions in mathematics at Stockholm University palmgren 3/2/18
Associate Senior Lecturer/Assistant Professor in Computer Science directed towards Logic of Programs palmgren 3/1/18
Another variation on the topic of homotopy Victor Porton 3/1/18
Two Papers on Lifting Problems and the Small Object Argument Andrew Swan 2/26/18
Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18) Anders Mörtberg 2/18/18
MacGillavry Fellowship Benno van den Berg 2/16/18
A syntax for higher inductive-inductive types András Kovács 2/8/18
On Higher Inductive Types in Cubical Type Theory Anders Mörtberg 2/7/18
Homotopy Type Theory Electronic Seminar Talks Krzysztof Kapulkin 2/7/18
Martin Hofmann found dead on Japanese mountain Thomas Streicher 2/5/18
Martin Hofmann rescue fund awodey 1/31/18
How to define w types in agda? du yu 1/26/18
Postdoctoral Fellow in Mathematical Logic, Stockholm University palmgren 1/25/18
More topics »