{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:15:10Z","timestamp":1760202910703,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T00:00:00Z","timestamp":1594166400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,8]]},"DOI":"10.1145\/3373718.3394758","type":"proceedings-article","created":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T00:23:18Z","timestamp":1590452598000},"page":"370-383","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Cones as a model of intuitionistic linear logic"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Ehrhard","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Paris, IRIF, CNRS, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2020,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209198"},{"key":"e_1_3_2_1_2_1","volume-title":"Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS","author":"Crubill\u00e9 Rapha\u00eblle","year":"2017","unstructured":"Rapha\u00eblle Crubill\u00e9 , Thomas Ehrhard , Michele Pagani , and Christine Tasson . 2017. The Free Exponential Modality of Probabilistic Coherence Spaces . In Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 , Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Lecture Notes in Computer Science), Javier Esparza and Andrzej S. Murawski (Eds .), Vol. 10203 . 20--35. https:\/\/doi.org\/10.1007\/978-3-662-54458-7_2 10.1007\/978-3-662-54458-7_2 Rapha\u00eblle Crubill\u00e9, Thomas Ehrhard, Michele Pagani, and Christine Tasson. 2017. The Free Exponential Modality of Probabilistic Coherence Spaces. In Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Lecture Notes in Computer Science), Javier Esparza and Andrzej S. Murawski (Eds.), Vol. 10203. 20--35. https:\/\/doi.org\/10.1007\/978-3-662-54458-7_2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371125"},{"key":"e_1_3_2_1_4_1","first-page":"111","article-title":"Probabilistic coherence spaces as a model of higher-order probabilistic computation","volume":"152","author":"Danos Vincent","year":"2011","unstructured":"Vincent Danos and Thomas Ehrhard . 2011 . Probabilistic coherence spaces as a model of higher-order probabilistic computation . Information and Computation 152 , 1 (2011), 111 -- 137 . Vincent Danos and Thomas Ehrhard. 2011. Probabilistic coherence spaces as a model of higher-order probabilistic computation. Information and Computation 152, 1 (2011), 111--137.","journal-title":"Information and Computation"},{"key":"e_1_3_2_1_5_1","volume-title":"Differentials and Distances in Probabilistic Coherence Spaces. In 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019","volume":"131","author":"Ehrhard Thomas","year":"2019","unstructured":"Thomas Ehrhard . 2019 . Differentials and Distances in Probabilistic Coherence Spaces. In 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 , June 24-30, 2019, Dortmund, Germany. (LIPIcs), Herman Geuvers (Ed.) , Vol. 131 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 17:1--17:17. https:\/\/doi.org\/10.4230\/LIPIcs.FSCD.2019.17 10.4230\/LIPIcs.FSCD.2019.17 Thomas Ehrhard. 2019. Differentials and Distances in Probabilistic Coherence Spaces. In 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany. (LIPIcs), Herman Geuvers (Ed.), Vol. 131. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 17:1--17:17. https:\/\/doi.org\/10.4230\/LIPIcs.FSCD.2019.17"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.29"},{"volume-title":"Probabilistic coherence spaces are fully abstract for probabilistic PCF","author":"Ehrhard Thomas","key":"e_1_3_2_1_7_1","unstructured":"Thomas Ehrhard , Michele Pagani , and Christine Tasson . 2014. Probabilistic coherence spaces are fully abstract for probabilistic PCF . In POPL, Suresh Jagannathan and Peter Sewell (Eds.). ACM , 309--320. Thomas Ehrhard, Michele Pagani, and Christine Tasson. 2014. Probabilistic coherence spaces are fully abstract for probabilistic PCF. In POPL, Suresh Jagannathan and Peter Sewell (Eds.). ACM, 309--320."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3164540"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158147"},{"key":"e_1_3_2_1_10_1","volume-title":"Probabilistic call by push value. Logical Methods in Computer Science","author":"Ehrhard Thomas","year":"2019","unstructured":"Thomas Ehrhard and Christine Tasson . 2019. Probabilistic call by push value. Logical Methods in Computer Science Volume 15 , Issue 1 ( Jan. 2019 ). https:\/\/doi.org\/10.23638\/LMCS-15(1:3)2019 10.23638\/LMCS-15(1:3)2019 Thomas Ehrhard and Christine Tasson. 2019. Probabilistic call by push value. Logical Methods in Computer Science Volume 15, Issue 1 (Jan. 2019). https:\/\/doi.org\/10.23638\/LMCS-15(1:3)2019"},{"volume-title":"Linear Logic in Computer Science","author":"Girard Jean-Yves","key":"e_1_3_2_1_11_1","unstructured":"Jean-Yves Girard . 2004. Between logic and quantic: a tract . In Linear Logic in Computer Science (London Mathematical Society Lecture Notes Series), Thomas Ehrhard , Jean-Yves Girard, Paul Ruet, and Philip Scott (Eds.), Vol. 316 . Cambridge University Press , 346--381. Jean-Yves Girard. 2004. Between logic and quantic: a tract. In Linear Logic in Computer Science (London Mathematical Society Lecture Notes Series), Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, and Philip Scott (Eds.), Vol. 316. Cambridge University Press, 346--381."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.09.003"},{"key":"e_1_3_2_1_13_1","volume-title":"Plotkin","author":"Keimel Klaus","year":"2017","unstructured":"Klaus Keimel and Gordon D . Plotkin . 2017 . Mixed powerdomains for probability and nondeterminism. Logical Methods in Computer Science 13, 1 (2017). Klaus Keimel and Gordon D. Plotkin. 2017. Mixed powerdomains for probability and nondeterminism. Logical Methods in Computer Science 13, 1 (2017)."},{"volume-title":"Categories for the Working Mathematician. Graduate Texts in Mathematics","author":"Lane Saunders Mac","key":"e_1_3_2_1_14_1","unstructured":"Saunders Mac Lane . 1971. Categories for the Working Mathematician. Graduate Texts in Mathematics , Vol. 5 . Springer-Verlag . Saunders Mac Lane. 1971. Categories for the Working Mathematician. Graduate Texts in Mathematics, Vol. 5. Springer-Verlag."},{"key":"e_1_3_2_1_15_1","volume-title":"Categorical semantics of linear logic. Panoramas et Synth\u00e8ses 27","author":"Melli\u00e8s Paul-Andr\u00e9","year":"2009","unstructured":"Paul-Andr\u00e9 Melli\u00e8s . 2009. Categorical semantics of linear logic. Panoramas et Synth\u00e8ses 27 ( 2009 ). Paul-Andr\u00e9 Melli\u00e8s. 2009. Categorical semantics of linear logic. Panoramas et Synth\u00e8ses 27 (2009)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90044-5"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 2nd International Workshop on Quantum Programming Languages, Turku, Finland (TUCS General Publication). Turku Centre for Computer Science.","author":"Selinger Peter","year":"2004","unstructured":"Peter Selinger . 2004 . Towards a semantics for higher-order quantum computation . In Proceedings of the 2nd International Workshop on Quantum Programming Languages, Turku, Finland (TUCS General Publication). Turku Centre for Computer Science. Peter Selinger. 2004. Towards a semantics for higher-order quantum computation. In Proceedings of the 2nd International Workshop on Quantum Programming Languages, Turku, Finland (TUCS General Publication). Turku Centre for Computer Science."},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. ACM Program. Lang. 3, POPL","author":"V\u00e1k\u00e1r Matthijs","year":"2019","unstructured":"Matthijs V\u00e1k\u00e1r , Ohad Kammar , and Sam Staton . 2019 . A domain theory for statistical probabilistic programming . Proc. ACM Program. Lang. 3, POPL (2019), 36:1--36:29. Matthijs V\u00e1k\u00e1r, Ohad Kammar, and Sam Staton. 2019. A domain theory for statistical probabilistic programming. Proc. ACM Program. Lang. 3, POPL (2019), 36:1--36:29."}],"event":{"name":"LICS '20: 35th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"],"location":"Saarbr\u00fccken Germany","acronym":"LICS '20"},"container-title":["Proceedings of the 35th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394758","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373718.3394758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:35Z","timestamp":1750197755000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394758"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,8]]},"references-count":18,"alternative-id":["10.1145\/3373718.3394758","10.1145\/3373718"],"URL":"https:\/\/doi.org\/10.1145\/3373718.3394758","relation":{},"subject":[],"published":{"date-parts":[[2020,7,8]]},"assertion":[{"value":"2020-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}