Generalised algebraic theories and contextual categories

1986/01/01 by John Cartmell · 18 citations
Computer Science · #Constraint Satisfaction and Optimization

paper · doi:10.1016/0168-0072(86)90053-9

openalex publication_date 1986/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/25

Cited by

• Setoids in Intensional Type Theory
• Elementary ∞-toposes from type theory
• A Toolkit for Structured Lifts
• Type theory and homotopy
• Dependently Sorted Nominal Signatures
• Type Theory with Single Substitutions
• The category of iterative sets in homotopy type theory and univalent foundations
• Univalence in Higher Category Theory
• Non-Standard Models of Homotopy Type Theory
• Compositional Scientific Computing with Catlab and SemanticModels
• AdapTT: Functoriality for Dependent Type Casts
• Logical Relations as Types: Proof-Relevant Parametricity for Program Modules
• The algebra and machine representation of statistical models
• Pyrosome: Verified Compilation for Modular Metatheory
• The (Pi,lambda)-structures on the C-systems defined by universe categories
• A dependently-typed calculus of event telicity and culminativity
• Type theories in category theory
• Syntactic categories for dependent type theory: sketching and adequacy