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

DOI10.4171/OWR/2011/11zbMATH Open1242.00037OpenAlexW2016912662MaRDI QIDQ433877FDOQ433877

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

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

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)

Cited In (5)

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