The following pages link to (Q4247303):
Displayed 13 items.
- Martin-Löf complexes (Q385803) (← links)
- Combinatorial realizability models of type theory (Q385804) (← links)
- Proof-relevance of families of setoids and identity in type theory (Q661282) (← links)
- Isomorphism is equality (Q740487) (← links)
- The identity type weak factorisation system (Q959823) (← links)
- On the strength of dependent products in the type theory of Martin-Löf (Q1024547) (← links)
- On a possible application of the homotopy concept to model theory (Q2448535) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- Homotopy-Theoretic Models of Type Theory (Q3007656) (← links)
- Weak ω-Categories from Intensional Type Theory (Q3637194) (← links)
- (Q4470942) (← links)
- Type Theory and Homotopy (Q5253928) (← links)
- Type theories, toposes and constructive set theory: Predicative aspects of AST (Q5957856) (← links)