Pages that link to "Item:Q5740647"
From MaRDI portal
The following pages link to Introduction – from type theory and homotopy theory to univalent foundations (Q5740647):
Displaying 5 items.
- 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 (Q896811) (← links)
- Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18--23, 2016 (Q2112383) (← links)
- Preface: Special issue on homotopy type theory and univalent foundations (Q2319980) (← links)
- An introduction to univalent foundations for mathematicians (Q4684362) (← links)
- Martin Hofmann’s contributions to type theory: Groupoids and univalence (Q5084306) (← links)