What is a categorical model of the differential and the resource λ-calculi?
From MaRDI portal
Publication:2888856
DOI10.1017/S0960129511000594zbMath1243.68142OpenAlexW2096172373MaRDI QIDQ2888856
Publication date: 4 June 2012
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129511000594
Related Items (15)
Cartesian differential categories as skew enriched categories ⋮ Relational graph models, Taylor expansion and extensionality ⋮ A simplicial foundation for differential and sector forms in tangent categories ⋮ Categorical models of the differential λ-calculus ⋮ Mackey-complete spaces and power series – a topological model of differential linear logic ⋮ Linearizing Combinators ⋮ Cartesian differential categories revisited ⋮ Unnamed Item ⋮ Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion ⋮ Categorical models of the differential \(\lambda\)-calculus revisited ⋮ Exponential functions in Cartesian differential categories ⋮ Unnamed Item ⋮ Jets and differential linear logic ⋮ Unnamed Item ⋮ Essential and relational models
Cites Work
- Unnamed Item
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Differential interaction nets
- \(K\)-theory. An introduction. With a new postface by the author and a list of errata
- Uniformity and the Taylor expansion of ordinary lambda-terms
- Normal functors, power series and \(\lambda\)-calculus
- Algebras and combinators
- A set of postulates for the foundation of logic
- On the algebraic models of lambda calculus
- The differential lambda-calculus
- The differential \(\lambda \mu\)-calculus
- Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion
- Constructing Differential Categories and Deconstructing Categories of Games
- Categorical Models for Simply Typed Resource Calculi
- A General Class of Models of $\mathcal{H}^*$
- Models of the lambda calculus
- Differential categories
- Solvability in Resource Lambda-Calculus
- Applying Universal Algebra to Lambda Calculus
- Exponentials with Infinite Multiplicities
- Resource Combinatory Algebras
- A Relational Model of a Parallel and Non-deterministic λ-Calculus
- Not Enough Points Is Enough
- An Explicit Formula for the Free Exponential Modality of Linear Logic
- Categorical models for non-extensional λ-calculi and combinatory logic
- A semantics for lambda calculi with resources
- The Lattice of Lambda Theories
- Finiteness spaces
This page was built for publication: What is a categorical model of the differential and the resource λ-calculi?
