Mackey-complete spaces and power series – a topological model of differential linear logic

DOI10.1017/S0960129516000281zbMath1456.03100arXiv1507.03262MaRDI QIDQ4606699

Christine Tasson, Marie Kerjean

Publication date: 9 March 2018

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

Full work available at URL: https://arxiv.org/abs/1507.03262

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ Taylor expansion, finiteness and strategies ⋮ Whither semantics? ⋮ Jets and differential linear logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• The system \({\mathcal F}\) of variable types, fifteen years later
• Normal functors, power series and \(\lambda\)-calculus
• Coherent Banach spaces: A continuous denotational semantics
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• The differential lambda-calculus
• Constructing differential categories and deconstructing categories of games
• Differential structure, tangent structure, and SDG
• What is a categorical model of the differential and the resource λ-calculi?
• Differential categories
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• On Köthe sequence spaces and linear logic
• Cartesian Differential Storage Categories
• Weighted Relational Models of Typed Lambda-Calculi
• Probabilistic coherence spaces are fully abstract for probabilistic PCF
• Applying quantitative semantics to higher-order quantum computing
• The cartesian closed bicategory of generalised species of structures
• Differentiability of a Function and of its Compositions with Functions of One Variable.
• On bornological products
• Analytic functions in topological vector-spaces
• Finiteness spaces
• Holomorphic models of exponential types in linear logic
• Two applications of analytic functors

This page was built for publication: Mackey-complete spaces and power series – a topological model of differential linear logic