Cones as a model of intuitionistic linear logic

DOI10.1145/3373718.3394758zbMath1498.03157OpenAlexW3031132030WikidataQ130826245 ScholiaQ130826245MaRDI QIDQ5145648

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

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

Related Items (4)

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 ⋮ Unnamed Item

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