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)
- 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
- A linear linear lambda-calculus
- 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
- scientific article; zbMATH DE number 3903347 (Why is no real title available?)
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- scientific article; zbMATH DE number 411656 (Why is no real title available?)
- Semantics in Banach spaces
- Cofree coalgebras and differential linear logic
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
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)
