Pages that link to "Item:Q4555036"
From MaRDI portal
The following pages link to Does Homotopy Type Theory Provide a Foundation for Mathematics? (Q4555036):
Displaying 10 items.
- The hole argument in homotopy type theory (Q1985880) (← links)
- A meaning explanation for HoTT (Q2054122) (← links)
- Expressing `the structure of' in homotopy type theory (Q2054123) (← links)
- Arithmetic, set theory, reduction and explanation (Q2219037) (← links)
- The justification of identity elimination in Martin-Löf's type theory (Q2288279) (← links)
- Identity in Homotopy Type Theory, Part I: The Justification of Path Induction (Q2965632) (← links)
- Modal Homotopy Type Theory (Q5213483) (← links)
- UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY (Q5241229) (← links)
- CATEGORICAL HARMONY AND PATH INDUCTION (Q5274880) (← links)
- Univalence and ontic structuralism (Q6586941) (← links)