Ehrhard, Thomas Cones as a model of intuitionistic linear logic. (English) Zbl 1498.03157 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 370-383 (2020). Cited in 4 Documents MSC: 03F52 Proof-theoretic aspects of linear logic and other substructural logics 03B20 Subsystems of classical logic (including intuitionistic logic) Keywords:denotational semantics; linear logic; probabilistic programming languages PDFBibTeX XMLCite \textit{T. Ehrhard}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 370--383 (2020; Zbl 1498.03157) Full Text: DOI HAL