Coherent Banach spaces: A continuous denotational semantics

DOI10.1016/S0304-3975(99)00056-0MaRDI QIDQ1575868zbMATH OpenFDO

Authors Jean-Yves Girard

Publication date 23 August 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(99)00056-0

zbMATH Keywords

Banach spacescoherencecomonoidcontinuous semanticsdenotational semanticsintuitionistic logiclinear logicnegative connectivesnormpositive connectivestopological Cartesian closed category

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic in computer science (03B70) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Normed linear spaces and Banach spaces; Banach lattices (46B99) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1231517
• scientific article; zbMATH DE number 1058171
• On Banach spaces of sequences and free linear logic exponential modality
• Semantics in Banach spaces
• On denotational completeness

Cited in

(19)

• \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
• The differential lambda-calculus
• Semantics of quantum programming languages: Classical control, quantum control
• Geometrical semantics for linear logic (multiplicative fragment)
• scientific article; zbMATH DE number 411656 (Why is no real title available?)
• scientific article; zbMATH DE number 3903347 (Why is no real title available?)
• scientific article; zbMATH DE number 1231517 (Why is no real title available?)
• Mackey-complete spaces and power series -- a topological model of differential linear logic
• On Banach spaces of sequences and free linear logic exponential modality
• Jets and differential linear logic
• Cofree coalgebras and differential linear logic
• Models of Linear Logic based on the Schwartz \varepsilon-product
• YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
• Zeta functions and the (linear) logic of Markov processes
• A linear linear lambda-calculus
• Classical linear logic in perfect Banach lattices
• Semantics in Banach spaces

This page was built for publication: Coherent Banach spaces: A continuous denotational semantics

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