The following pages link to (Q4247303):
Displayed 7 items.
- Proof-relevance of families of setoids and identity in type theory (Q661282) (← 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)
- Homotopy-Theoretic Models of Type Theory (Q3007656) (← links)
- Weak ω-Categories from Intensional Type Theory (Q3637194) (← links)
- (Q4470942) (← links)
- Type theories, toposes and constructive set theory: Predicative aspects of AST (Q5957856) (← links)