Extended abstracts fall 2013. Geometrical analysis; type theory, homotopy theory and univalent foundations. Selected papers based on the presentations at the conferences, CRM, Barcelona, Spain, July 1--5, 2013 and September 23--27, 2013

DOI10.1007/978-3-319-21284-5MaRDI QIDQ896811zbMATH OpenOpenAlexFDO

Authors

Publication date 14 December 2015

Published in Trends in Mathematics. Research Perspectives CRM Barcelona (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-21284-5

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to functions of a complex variable (30-06) Proceedings, conferences, collections, etc. pertaining to global analysis (58-06) Proceedings, conferences, collections, etc. pertaining to algebraic topology (55-06)

Recommendations

• Type theory and homotopy
• Introduction -- from type theory and homotopy theory to univalent foundations
• Homotopy Type Theory
• Homotopy type theory and Voevodsky's univalent foundations
• Homotopy theory. Abstracts from the workshop held September 18--24, 2011.

This page was built for publication: Extended abstracts fall 2013. Geometrical analysis; type theory, homotopy theory and univalent foundations. Selected papers based on the presentations at the conferences, CRM, Barcelona, Spain, July 1--5, 2013 and September 23--27, 2013

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