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-5zbMATH Open1327.00035OpenAlexW2311175588MaRDI QIDQ896811FDOQ896811

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

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.

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)

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)