Categorical models of the differential -calculus revisited

DOI10.1016/J.ENTCS.2016.09.032MaRDI QIDQ1744378zbMATH OpenOpenAlexWikidataFDO

Authors J. D. Gallagher, J. R. 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

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

Recommendations

• Categorical models of the differential λ-calculus
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?
• Categorical models for simply typed resource calculi
• Differential categories revisited
• The differential lambda-calculus

Cites work

• A category-theoretic characterization of functional completeness
• A semantics for lambda calculi with resources
• Cartesian differential categories
• Cartesian differential storage categories
• Categorical models for simply typed resource calculi
• Differential categories
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• Finiteness spaces
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 1231449 (Why is no real title available?)
• Introduction to Turing categories
• Models of the lambda calculus
• On Köthe sequence spaces and linear logic
• The differential lambda-calculus
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?

Cited in

(6)

• A simplicial foundation for differential and sector forms in tangent categories
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?
• Categorical models for simply typed resource calculi
• Categorical models of the differential λ-calculus
• scientific article; zbMATH DE number 7684599 (Why is no real title available?)
• An ultrametric for Cartesian differential categories for Taylor series convergence

This page was built for publication: Categorical models of the differential \(\lambda\)-calculus revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1744378)