Coherent Banach spaces: A continuous denotational semantics
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)
- scientific article; zbMATH DE number 411656 (Why is no real title available?)
- YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC
- On Banach spaces of sequences and free linear logic exponential modality
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
- Geometrical semantics for linear logic (multiplicative fragment)
- 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
- Semantics of quantum programming languages: Classical control, quantum control
- scientific article; zbMATH DE number 3903347 (Why is no real title available?)
- Semantics in Banach spaces
- Zeta functions and the (linear) logic of Markov processes
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Cofree coalgebras and differential linear logic
- Jets and differential linear logic
- The differential lambda-calculus
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)
