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

denotational semanticslinear logicprobabilistic 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

(9)

• scientific article; zbMATH DE number 5864581 (Why is no real title available?)
• Linear logic in normed cones: probabilistic coherence spaces and beyond
• Differentials and distances in probabilistic coherence spaces
• Probabilistic stable functions on discrete cones are power series
• A higher-order language for Markov kernels and linear operators
• A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
• Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs
• Integration in cones
• The sup connective in IMALL: a categorical semantics

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)