Linear logic in normed cones: probabilistic coherence spaces and beyond

DOI10.1017/S0960129521000177MaRDI QIDQ5076387

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

linear logicdenotational semanticsprobabilistic coherence spaces

Mathematics Subject Classification ID

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

Uses Software

• QPL

Cites Work

• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Differential interaction nets
• The differential lambda-calculus
• Weak topologies for Linear Logic
• The Free Exponential Modality of Probabilistic Coherence Spaces
• Partially ordered linear topological spaces
• Full Abstraction for Probabilistic PCF
• On Banach spaces of sequences and free linear logic exponential modality
• Cones as a model of intuitionistic linear logic
• Functional Analysis, Spectral Theory, and Applications
• The Structure and Ideal Theory of the Predual of a Banach Lattice
• Order in Operator Algebras
• Holomorphic models of exponential types in linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item