Linear logic in normed cones: probabilistic coherence spaces and beyond

DOI10.1017/S0960129521000177MaRDI QIDQ5076387zbMATH OpenFDO

Authors Sergey Slavnov

Publication date 17 May 2022

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1803.06005

zbMATH Keywords

denotational semanticslinear logicprobabilistic coherence spaces

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Cones as a model of intuitionistic linear logic
• The free exponential modality of probabilistic coherence spaces
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• scientific article; zbMATH DE number 1678365
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings

Cites work

• A convenient differential category
• Categorical semantics of linear logic
• Cones as a model of intuitionistic linear logic
• Differential interaction nets
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• Full abstraction for probabilistic PCF
• Functional Analysis, Spectral Theory, and Applications
• Holomorphic models of exponential types in linear logic
• scientific article; zbMATH DE number 6712178 (Why is no real title available?)
• scientific article; zbMATH DE number 3113786 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3757085 (Why is no real title available?)
• scientific article; zbMATH DE number 3479763 (Why is no real title available?)
• scientific article; zbMATH DE number 1321178 (Why is no real title available?)
• scientific article; zbMATH DE number 2134919 (Why is no real title available?)
• scientific article; zbMATH DE number 1377487 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• On Banach spaces of sequences and free linear logic exponential modality
• Order in Operator Algebras
• Partially ordered linear topological spaces
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• The differential lambda-calculus
• The free exponential modality of probabilistic coherence spaces
• The Structure and Ideal Theory of the Predual of a Banach Lattice
• Weak topologies for linear logic

Cited in

(3)

• scientific article; zbMATH DE number 786488 (Why is no real title available?)
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
• Classical linear logic in perfect Banach lattices

Describes a project that uses

Uses Software

• QPL

This page was built for publication: Linear logic in normed cones: probabilistic coherence spaces and beyond

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5076387)