Mackey-complete spaces and power series -- a topological model of differential linear logic
From MaRDI portal
Publication:4606699
Abstract: In this paper, we have described a denotational model of Intuitionist Linear Logic which is also a differential category. Formulas are interpreted as Mackey-complete topological vector space and linear proofs are interpreted by bounded linear functions. So as to interpret non-linear proofs of Linear Logic, we have used a notion of power series between Mackey-complete spaces, generalizing the notion of entire functions in C. Finally, we have obtained a quantitative model of Intuitionist Differential Linear Logic, where the syntactic differentiation correspond to the usual one and where the interpretations of proofs satisfy a Taylor expansion decomposition.
Recommendations
Cites work
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- A convenient differential category
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Analytic functions in topological vector-spaces
- Applying quantitative semantics to higher-order quantum computing
- Cartesian differential categories
- Cartesian differential storage categories
- Coherent Banach spaces: A continuous denotational semantics
- Constructing differential categories and deconstructing categories of games
- Diffeology
- Differentiability of a Function and of its Compositions with Functions of One Variable.
- Differential categories
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
- Differential structure, tangent structure, and SDG
- Finiteness spaces
- Full abstraction for PCF
- Holomorphic models of exponential types in linear logic
- scientific article; zbMATH DE number 3730702 (Why is no real title available?)
- scientific article; zbMATH DE number 193292 (Why is no real title available?)
- scientific article; zbMATH DE number 3560151 (Why is no real title available?)
- scientific article; zbMATH DE number 1077733 (Why is no real title available?)
- scientific article; zbMATH DE number 2103282 (Why is no real title available?)
- scientific article; zbMATH DE number 3307783 (Why is no real title available?)
- scientific article; zbMATH DE number 3344969 (Why is no real title available?)
- scientific article; zbMATH DE number 3080873 (Why is no real title available?)
- Normal functors, power series and -calculus
- On bornological products
- On full abstraction for PCF: I, II and III
- On Köthe sequence spaces and linear logic
- Probabilistic coherence spaces are fully abstract for probabilistic PCF
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- The cartesian closed bicategory of generalised species of structures
- The differential lambda-calculus
- The system \({\mathcal F}\) of variable types, fifteen years later
- Two applications of analytic functors
- Weighted relational models of typed lambda-calculi
- What is a categorical model of the differential and the resource \(\lambda \)-calculi?
Cited in
(13)- Taylor expansion, finiteness and strategies
- Whither semantics?
- Higher-order distributions for differential linear logic
- Weak topologies for linear logic
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
- Jets and differential linear logic
- Encodings of Turing machines in linear logic
- Cofree coalgebras and differential linear logic
- A logical account for linear partial differential equations
- Models of Linear Logic based on the Schwartz \varepsilon-product
- Finiteness spaces
- Integration in cones
- Classical linear logic in perfect Banach lattices
This page was built for publication: Mackey-complete spaces and power series -- a topological model of differential linear logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4606699)
