The following pages link to Homotopy Type Theory (Q2937385):
Displaying 24 items.
- A model of type theory in simplicial sets. A brief introduction to Voevodsky's homotopy type theory (Q280837) (← links)
- Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011. (Q433877) (← links)
- 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)
- The homotopy theory of type theories (Q1785779) (← links)
- The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← links)
- A meaning explanation for HoTT (Q2054122) (← links)
- Expressing `the structure of' in homotopy type theory (Q2054123) (← links)
- Type theory and formalisation of mathematics (Q2399357) (← links)
- Homotopical patch theory (Q2819684) (← links)
- Identity in Homotopy Type Theory, Part I: The Justification of Path Induction (Q2965632) (← links)
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- Does Homotopy Type Theory Provide a Foundation for Mathematics? (Q4555036) (← links)
- (Q4877489) (← links)
- Homotopy Type Theory: A synthetic approach to higher equalities (Q5040166) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- (Q5094128) (← links)
- Cellular Cohomology in Homotopy Type Theory (Q5145328) (← links)
- Lawvere-Tierney sheafification in Homotopy Type Theory (Q5195281) (← links)
- Modalities in homotopy type theory (Q5208873) (← links)
- Modal Homotopy Type Theory (Q5213483) (← links)
- Localization in Homotopy Type Theory (Q5217587) (← links)
- The Seifert-van Kampen Theorem in Homotopy Type Theory (Q5278408) (← links)
- Towards Constructive Homological Algebra in Type Theory (Q5428258) (← links)
- Introduction – from type theory and homotopy theory to univalent foundations (Q5740647) (← links)
