Pages that link to "Item:Q1208414"
From MaRDI portal
The following pages link to Comprehension categories and the semantics of type dependency (Q1208414):
Displaying 25 items.
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Comprehensive factorisation systems (Q680308) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Equilogical spaces (Q1826625) (← links)
- The simplicial model of univalent foundations (after Voevodsky) (Q2031691) (← links)
- Univalence and completeness of Segal objects (Q2104885) (← links)
- Towards a directed homotopy type theory (Q2133175) (← links)
- Semantical analysis of contextual types (Q2200843) (← links)
- Revisiting the categorical interpretation of dependent type theory (Q2253180) (← links)
- Combinatorial structure of type dependency (Q2254771) (← links)
- Internal languages of finitely complete \((\infty , 1)\)-categories (Q2414596) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- The Local Universes Model (Q2957763) (← links)
- Two-dimensional models of type theory (Q3395310) (← links)
- (Q3824315) (← links)
- A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types (Q5056372) (← links)
- (Q5091148) (← links)
- Displayed Categories (Q5111300) (← links)
- CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES (Q5249254) (← links)
- Universal properties for universal types in bifibrational parametricity (Q5377699) (← links)
- MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS (Q5879185) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)
- On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
- A 2-categorical analysis of context comprehension (Q6634618) (← links)
