Pages that link to "Item:Q1096716"
From MaRDI portal
The following pages link to Generalized algebraic theories and contextual categories (Q1096716):
Displaying 23 items.
- Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
- The Interpretation Lifting Theorem for C-Systems (Q5025082) (← links)
- (Q5028425) (← links)
- Hom weak ω-categories of a weak ω-category (Q5058363) (← links)
- On generalized algebraic theories and categories with families (Q5084311) (← links)
- (Q5089011) (← links)
- Pointers in Recursion: Exploring the Tropics (Q5089027) (← links)
- (Q5089034) (← links)
- (Q5094128) (← links)
- Logic representation in LF (Q5096264) (← links)
- Detecting isomorphisms of modular specifications with diagrams (Q5096385) (← links)
- (Q5155672) (← links)
- (Q5216301) (← links)
- Type Theory and Homotopy (Q5253928) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- Some algebraic problems in the context of functorial semantics of algebraic theories (Q5602981) (← links)
- The biequivalence of locally cartesian closed categories and Martin-Löf type theories (Q5740406) (← links)
- Univalence for inverse diagrams and homotopy canonicity (Q5740656) (← links)
- Finitary type theories with and without contexts (Q6053849) (← links)
- For Finitary Induction-Induction, Induction is Enough (Q6079233) (← links)
- Martin-Löf identity types in C-systems (Q6139425) (← links)
- Transpension: the right adjoint to the Pi-type (Q6563063) (← links)
- A 2-categorical analysis of context comprehension (Q6634618) (← links)