Cones as a model of intuitionistic linear logic

DOI10.1145/3373718.3394758MaRDI QIDQ5145648zbMATH OpenOpenAlexWikidataFDO

Authors Thomas Ehrhard

Publication date 21 January 2021

Published in Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3373718.3394758

zbMATH Keywords

linear logicdenotational semanticsprobabilistic programming languages

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• A model of intuitionistic affine logic from stable domain theory
• scientific article; zbMATH DE number 1678365
• The free exponential modality of probabilistic coherence spaces
• Probabilistic stable functions on discrete cones are power series
• Probabilistic coherence spaces as a model of higher-order probabilistic computation

Cited in

(6)

• Linear logic in normed cones: probabilistic coherence spaces and beyond
• A higher-order language for Markov kernels and linear operators
• A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
• Probabilistic stable functions on discrete cones are power series
• scientific article; zbMATH DE number 5864581 (Why is no real title available?)
• scientific article; zbMATH DE number 7577566 (Why is no real title available?)

This page was built for publication: Cones as a model of intuitionistic linear logic

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