Coherent Banach spaces: A continuous denotational semantics
DOI10.1016/S0304-3975(99)00056-0zbMATH Open0952.03025MaRDI QIDQ1575868FDOQ1575868
Publication date: 23 August 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
normcoherenceBanach spacesintuitionistic logiclinear logicdenotational semanticscomonoidcontinuous semanticsnegative connectivespositive connectivestopological Cartesian closed category
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 (15)
- 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
- 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
- Mackey-complete spaces and power series – a topological model of differential linear logic
- Title not available (Why is that?)
- Cofree coalgebras and differential linear logic
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
Recommendations
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)
