The following pages link to (Q3093873):
Displaying 9 items.
- The simplicial model of univalent foundations (after Voevodsky) (Q2031691) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- The Local Universes Model (Q2957763) (← links)
- Homotopy theoretic models of identity types (Q3598111) (← links)
- Type reconstruction in F<sub>ω</sub> (Q4347376) (← links)
- Hom weak ω-categories of a weak ω-category (Q5058363) (← links)
- Martin Hofmann’s contributions to type theory: Groupoids and univalence (Q5084306) (← links)
- Elementary fibrations of enriched groupoids (Q5084307) (← links)
- Martin-Löf identity types in C-systems (Q6139425) (← links)