The following pages link to (Q5278407):
Displaying 10 items.
- On strict and simple type extensions (Q1384237) (← links)
- Internal languages of finitely complete \((\infty , 1)\)-categories (Q2414596) (← links)
- Model structure on the universe of all types in interval type theory (Q5022925) (← links)
- A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types (Q5056372) (← links)
- Cartesian cubical computational type theory: Constructive reasoning with paths and equalities (Q5079726) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
- Finitary type theories with and without contexts (Q6053849) (← links)
- (Q6079232) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)
- Two-level type theory and applications (Q6149950) (← links)