Coherent Banach spaces: A continuous denotational semantics

DOI10.1016/S0304-3975(99)00056-0zbMATH Open0952.03025MaRDI QIDQ1575868FDOQ1575868

Authors: Jean-Yves Girard 

Publication date: 23 August 2000

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

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

zbMATH Keywords

normcoherenceBanach spacesintuitionistic logiclinear logicdenotational semanticscomonoidcontinuous semanticsnegative connectivespositive connectivestopological Cartesian closed category

Mathematics Subject Classification ID

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

Cited In (16)

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