Categorical models of the differential λ-calculus

DOI10.1017/S0960129519000070zbMath1468.03019OpenAlexW2990660716MaRDI QIDQ5108533

Jonathan Gallagher, J. Robin B. Cockett

Publication date: 4 May 2020

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129519000070

zbMATH Keywords

\(\lambda\)-calculusdifferential categoriesdifferential \(\lambda\)-calculus

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items

Cartesian differential categories as skew enriched categories ⋮ Linearizing Combinators ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• A category-theoretic characterization of functional completeness
• Introduction to Turing categories
• Developing theories of types and computability via realizability
• The differential lambda-calculus
• What is a categorical model of the differential and the resource λ-calculi?
• Categorical Models for Simply Typed Resource Calculi
• Models of the lambda calculus
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• The algebraic lambda calculus
• Lambda‐Calculus Models and Extensionality
• A semantics for lambda calculi with resources
• On Köthe sequence spaces and linear logic
• Cartesian Differential Storage Categories