Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011.

DOI10.4171/OWR/2011/11MaRDI QIDQ433877zbMATHOpenAlexFDO

Authors

Publication date 8 July 2012

Published in Oberwolfach Reports (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4171/owr/2011/11

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to algebraic topology (55-06) Homotopy theory (55Pxx)

Recommendations

• Type theory and homotopy
• Homotopy Type Theory
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Univalent foundations of mathematics
• Homotopy type theory and Voevodsky's univalent foundations

Cited in

(5)

• Univalence in locally Cartesian closed categories
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Mini-workshop: Constructive homological algebra with applications to coherent sheaves and control theory. Abstracts from the mini-workshop held May 12--18, 2013.
• Type theory and homotopy
• Vladimir Aleksandrovich Voevodsky

This page was built for publication: Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q433877)