Coherent Banach spaces: A continuous denotational semantics

DOI10.1016/S0304-3975(99)00056-0zbMath0952.03025MaRDI QIDQ1575868

Jean-Yves Girard

Publication date: 23 August 2000

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

zbMATH Keywords

normBanach spacescoherencelinear logicintuitionistic logicdenotational semanticscomonoidcontinuous semanticsnegative connectivespositive connectivestopological Cartesian closed category

Mathematics Subject Classification ID

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

Related Items

Models of Linear Logic based on the Schwartz $\varepsilon$-product, The differential lambda-calculus, YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC, Semantics of quantum programming languages: Classical control, quantum control, A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces, Mackey-complete spaces and power series – a topological model of differential linear logic, On Banach spaces of sequences and free linear logic exponential modality, Cofree coalgebras and differential linear logic, Probabilistic coherence spaces as a model of higher-order probabilistic computation, Geometrical semantics for linear logic (multiplicative fragment), Jets and differential linear logic, \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic