Models of Linear Logic based on the Schwartz $\varepsilon$-product

zbMath1445.03068arXiv1712.07344MaRDI QIDQ5207357

Marie Kerjean, Yoann Dabrowski

Publication date: 20 December 2019

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

zbMATH Keywords

topological vector spacesdifferential linear logic\(\ast\)-autonomous and dialogue categories

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Duality theory for topological vector spaces (46A20) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Spaces of differentiable or holomorphic functions on infinite-dimensional spaces (46E50) Tensor products in functional analysis (46M05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantum gravity from the point of view of locally covariant quantum field theory
• Batalin-Vilkovisky formalism in the functional approach to classical field theory
• Functional properties of Hörmander's space of distributions having a specified wavefront set
• Derived algebraic geometry
• Geometry of interaction. V: Logic in the hyperfinite factor
• Resource modalities in tensor logic
• Théorie des distributions à valeurs vectorielles
• Théorie des distributions à valeurs vectorielles. II
• Differential interaction nets
• Generalized Hilbert spaces
• Tensor products and spaces of vector-valued continuous functions
• Normal functors, power series and \(\lambda\)-calculus
• Differential calculus in locally convex spaces
• The Schwartz-Hilbert variety
• Weakly compact mappings into (F)-spaces
• On the completion of a bornological space
• Coherent Banach spaces: A continuous denotational semantics
• The stack of Yang-Mills fields on Lorentzian manifolds
• Derived functors in functional analysis
• The differential lambda-calculus
• Batalin-Vilkovisky formalism in perturbative algebraic quantum field theory
• The differential \(\lambda \mu\)-calculus
• Properties of dense and relative adjoint functors
• Théorie des bornologies et applications. (Theory of bornologies and applications)
• Locus Solum: From the rules of logic to the logic of rules
• Weak topologies for Linear Logic
• A theory of effects and resources: adjunction models and polarised calculi
• The duality of computation
• The Blind Spot
• Categorical Models for Simply Typed Resource Calculi
• Differential categories
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• A new constructive logic: classic logic
• On embedding closed categories
• Mackey-complete spaces and power series – a topological model of differential linear logic
• Integral categories and calculus categories
• On Köthe sequence spaces and linear logic
• Hopf algebras and linear logic
• Finiteness spaces