Cones as a model of intuitionistic linear logic

DOI10.1145/3373718.3394758zbMATH Open1498.03157OpenAlexW3031132030WikidataQ130826245 ScholiaQ130826245MaRDI QIDQ5145648FDOQ5145648

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

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

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)

Cited In (6)

• A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
• Title not available (Why is that?)
• Probabilistic stable functions on discrete cones are power series
• Linear logic in normed cones: probabilistic coherence spaces and beyond
• Title not available (Why is that?)
• A higher-order language for Markov kernels and linear operators

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)