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

DOI10.4171/OWR/2011/11zbMath1242.00037OpenAlexW2016912662MaRDI QIDQ433877

No author found.

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

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

Related Items (2)

Vladimir Aleksandrovich Voevodsky ⋮ Univalence in locally Cartesian closed categories

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.