The following pages link to Type Theory and Homotopy (Q5253928):
Displaying 10 items.
- Martin-Löf complexes (Q385803) (← links)
- Combinatorial realizability models of type theory (Q385804) (← links)
- Carnap and the invariance of logical truth (Q1708751) (← links)
- Univalence as a principle of logic (Q1788330) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- The Local Universes Model (Q2957763) (← links)
- Idempotents in intensional type theory (Q2974780) (← links)
- Homotopy-Theoretic Models of Type Theory (Q3007656) (← links)
- A univalent formalization of the <i>p</i>-adic numbers (Q5740654) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
