The following pages link to (Q2988057):
Displaying 6 items.
- The homotopy theory of type theories (Q1785779) (← links)
- Homotopy Type Theory (Q2937385) (← links)
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- Homotopy Type Theory: A synthetic approach to higher equalities (Q5040166) (← links)
- Modalities in homotopy type theory (Q5208873) (← links)
- Towards Constructive Homological Algebra in Type Theory (Q5428258) (← links)