Categorical models of the differential \(\lambda\)-calculus revisited

DOI10.1016/j.entcs.2016.09.032zbMath1394.03024OpenAlexW2528395280WikidataQ113317640 ScholiaQ113317640MaRDI QIDQ1744378

J. D. Gallagher, J. Robin B. Cockett

Publication date: 23 April 2018

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.032

zbMATH Keywords

categorical modelsdifferential lambda calculusScott-Koymans theorem

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)

Related Items

A simplicial foundation for differential and sector forms in tangent categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A category-theoretic characterization of functional completeness
• Introduction to Turing categories
• 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 categories
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• A semantics for lambda calculi with resources
• On Köthe sequence spaces and linear logic
• Cartesian Differential Storage Categories
• Finiteness spaces