{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:13:36Z","timestamp":1759637616672,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T00:00:00Z","timestamp":1659398400000},"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":[[2022,8,2]]},"DOI":"10.1145\/3531130.3533355","type":"proceedings-article","created":{"date-parts":[[2022,8,4]],"date-time":"2022-08-04T20:23:38Z","timestamp":1659644618000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Probability monads with submonads of deterministic states"],"prefix":"10.1145","author":[{"given":"Sean","family":"Moss","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Oxford, United Kingdom"}]},{"given":"Paolo","family":"Perrone","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Oxford, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2022,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90065-T"},{"volume-title":"Measure Theory","author":"Bogachev I.","key":"e_1_3_2_1_2_1","unstructured":"V.\u00a0 I. Bogachev . 2000. Measure Theory . Vol. I , II. Springer . V.\u00a0I. Bogachev. 2000. Measure Theory. Vol. I, II. Springer."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2014.03.002"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129518000488"},{"key":"e_1_3_2_1_5_1","volume-title":"Foresight: Its Logical Laws, Its Subjective Sources","author":"de Finetti Bruno","year":"1992","unstructured":"Bruno de Finetti . 1992 . Foresight: Its Logical Laws, Its Subjective Sources . Springer New York , New York, NY , 134\u2013174. https:\/\/doi.org\/10.1007\/978-1-4612-0919-5_10 10.1007\/978-1-4612-0919-5_10 Bruno de Finetti. 1992. Foresight: Its Logical Laws, Its Subjective Sources. Springer New York, New York, NY, 134\u2013174. https:\/\/doi.org\/10.1007\/978-1-4612-0919-5_10"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2020.107239"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.31390\/josa.2.4.06"},{"key":"e_1_3_2_1_8_1","unstructured":"Tobias Fritz Tom\u00e1\u0161 Gonda Paolo Perrone and Eigil\u00a0Fjeldgren Rischel. 2020. Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability. arXiv preprint arXiv:2010.07416(2020). arxiv.org\/abs\/2010.07416.  Tobias Fritz Tom\u00e1\u0161 Gonda Paolo Perrone and Eigil\u00a0Fjeldgren Rischel. 2020. Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability. arXiv preprint arXiv:2010.07416(2020). arxiv.org\/abs\/2010.07416."},{"volume-title":"d.]. Monads, partial evaluations, and rewriting. arXiv:1810.06037. To appear in Proceedings of MFPS","author":"Fritz Tobias","key":"e_1_3_2_1_9_1","unstructured":"Tobias Fritz and Paolo Perrone . [n. d.]. Monads, partial evaluations, and rewriting. arXiv:1810.06037. To appear in Proceedings of MFPS .. Tobias Fritz and Paolo Perrone. [n. d.]. Monads, partial evaluations, and rewriting. arXiv:1810.06037. To appear in Proceedings of MFPS.."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2018.11.007"},{"key":"e_1_3_2_1_11_1","unstructured":"Tobias Fritz Paolo Perrone and Sharwin Rezagholi. 2019. Probability valuations hyperspace: Three monads on Top and the support as a morphism. arXiv:1910.03752.  Tobias Fritz Paolo Perrone and Sharwin Rezagholi. 2019. Probability valuations hyperspace: Three monads on Top and the support as a morphism. arXiv:1910.03752."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.32408\/compositionality-2-3"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80078-1"},{"volume-title":"Foundations of Software Science and Computation Structures","author":"F\u00fchrmann Carsten","key":"e_1_3_2_1_14_1","unstructured":"Carsten F\u00fchrmann . 2002. Varieties of Effects . In Foundations of Software Science and Computation Structures , Mogens Nielsen and Uffe Engberg (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 144\u2013159. Carsten F\u00fchrmann. 2002. Varieties of Effects. In Foundations of Software Science and Computation Structures, Mogens Nielsen and Uffe Engberg (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 144\u2013159."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001650200016"},{"key":"e_1_3_2_1_16_1","series-title":"Lecture Notes in Mathematics, Vol.\u00a0915.","volume-title":"Categorical aspects of topology and analysis","author":"Giry Mich\u00e8le","unstructured":"Mich\u00e8le Giry . 1982. A Categorical Approach to Probability Theory . In Categorical aspects of topology and analysis . Lecture Notes in Mathematics, Vol.\u00a0915. Mich\u00e8le Giry. 1982. A Categorical Approach to Probability Theory. In Categorical aspects of topology and analysis. Lecture Notes in Mathematics, Vol.\u00a0915."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005137"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434339"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103698"},{"key":"e_1_3_2_1_20_1","first-page":"97","article-title":"Commutative monads as a theory of distributions","volume":"26","author":"Kock Anders","year":"2012","unstructured":"Anders Kock . 2012 . Commutative monads as a theory of distributions . Theory Appl. Categ. 26 (2012), No. 4, 97 \u2013 131 . Anders Kock. 2012. Commutative monads as a theory of distributions. Theory Appl. Categ. 26(2012), No. 4, 97\u2013131.","journal-title":"Theory Appl. Categ."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00088-9"},{"volume-title":"Categories for the working mathematician","author":"Mac\u00a0Lane Saunders","key":"e_1_3_2_1_22_1","unstructured":"Saunders Mac\u00a0Lane . 1998. Categories for the working mathematician ( second ed.). Graduate Texts in Mathematics, Vol.\u00a05. Springer-Verlag , New York. xii+314 pages. Saunders Mac\u00a0Lane. 1998. Categories for the working mathematician(second ed.). Graduate Texts in Mathematics, Vol.\u00a05. Springer-Verlag, New York. xii+314 pages."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"#cr-split#-e_1_3_2_1_24_1.1","doi-asserted-by":"crossref","unstructured":"Sean Moss and Paolo Perrone. 2022. Probability monads with submonads of deterministic states - Extended version. https:\/\/doi.org\/10.48550\/ARXIV.2204.07003 10.48550\/ARXIV.2204.07003","DOI":"10.1145\/3531130.3533355"},{"key":"#cr-split#-e_1_3_2_1_24_1.2","doi-asserted-by":"crossref","unstructured":"Sean Moss and Paolo Perrone. 2022. Probability monads with submonads of deterministic states - Extended version. https:\/\/doi.org\/10.48550\/ARXIV.2204.07003","DOI":"10.1145\/3531130.3533355"},{"volume-title":"Labelled Markov Processes","author":"Panangaden Prakash","key":"e_1_3_2_1_25_1","unstructured":"Prakash Panangaden . 2009. Labelled Markov Processes . Imperial College Press . https:\/\/doi.org\/10.1142\/p595 arXiv:https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/p595 10.1142\/p595 Prakash Panangaden. 2009. Labelled Markov Processes. Imperial College Press. https:\/\/doi.org\/10.1142\/p595 arXiv:https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/p595"},{"volume-title":"Categorical Probability and Stochastic Dominance in Metric Spaces. Ph.\u00a0D. Dissertation","author":"Perrone Paolo","key":"e_1_3_2_1_26_1","unstructured":"Paolo Perrone . 2018. Categorical Probability and Stochastic Dominance in Metric Spaces. Ph.\u00a0D. Dissertation . University of Leipzig. Submitted. Available at http :\/\/personal-homepages.mis.mpg.de\/perrone\/phdthesis.pdf. Paolo Perrone. 2018. Categorical Probability and Stochastic Dominance in Metric Spaces. Ph.\u00a0D. Dissertation. University of Leipzig. Submitted. Available at http:\/\/personal-homepages.mis.mpg.de\/perrone\/phdthesis.pdf."},{"key":"e_1_3_2_1_27_1","volume-title":"Equilogical spaces and filter spaces. Number\u00a064. 157\u2013175. Categorical studies in Italy (Perugia","author":"Rosolini Giuseppe","year":"1997","unstructured":"Giuseppe Rosolini . 2000. Equilogical spaces and filter spaces. Number\u00a064. 157\u2013175. Categorical studies in Italy (Perugia , 1997 ). Giuseppe Rosolini. 2000. Equilogical spaces and filter spaces. Number\u00a064. 157\u2013175. Categorical studies in Italy (Perugia, 1997)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434292"},{"key":"e_1_3_2_1_29_1","volume-title":"POPL","author":"\u015acibior Adam","year":"2018","unstructured":"Adam \u015acibior , Ohad Kammar , Matthijs V\u00e1k\u00e1r , Sam Staton , Hongseok Yang , Yufei Cai , Klaus Ostermann , Sean\u00a0 K. Moss , Chris Heunen , and Zoubin Ghahramani . 2018. Denotational validation of higher-order Bayesian inference. PACMPL 2 , POPL ( 2018 ), 60:1\u201360:29. https:\/\/doi.org\/10.1145\/3158148 10.1145\/3158148 Adam \u015acibior, Ohad Kammar, Matthijs V\u00e1k\u00e1r, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean\u00a0K. Moss, Chris Heunen, and Zoubin Ghahramani. 2018. Denotational validation of higher-order Bayesian inference. PACMPL 2, POPL (2018), 60:1\u201360:29. https:\/\/doi.org\/10.1145\/3158148"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806033"},{"key":"e_1_3_2_1_31_1","volume-title":"Categorical Limit. In Proceedings of Coalgebraic Methods in Computer Science, J.\u00a0Petrisan, D.;\u00a0Rot (Ed.). Cham : Springer.","author":"Staton Sam","year":"2020","unstructured":"Sam Staton and Bart Jacobs . 2020 . De Finetti\u2019s Construction as a Categorical Limit. In Proceedings of Coalgebraic Methods in Computer Science, J.\u00a0Petrisan, D.;\u00a0Rot (Ed.). Cham : Springer. Sam Staton and Bart Jacobs. 2020. De Finetti\u2019s Construction as a Categorical Limit. In Proceedings of Coalgebraic Methods in Computer Science, J.\u00a0Petrisan, D.;\u00a0Rot (Ed.). Cham : Springer."},{"key":"e_1_3_2_1_32_1","volume-title":"Compositional Semantics for Probabilistic Programs with Exact Conditioning. In 2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society","author":"Stein D.","year":"2021","unstructured":"D. Stein and S. Staton . 2021 . Compositional Semantics for Probabilistic Programs with Exact Conditioning. In 2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society , Los Alamitos, CA, USA, 1\u201313. https:\/\/doi.org\/10.1109\/LICS52264. 2021 .9470552 10.1109\/LICS52264.2021.9470552 D. Stein and S. Staton. 2021. Compositional Semantics for Probabilistic Programs with Exact Conditioning. In 2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, Los Alamitos, CA, USA, 1\u201313. https:\/\/doi.org\/10.1109\/LICS52264.2021.9470552"},{"key":"e_1_3_2_1_33_1","first-page":"12","article-title":"Sober Spaces and Continuations","volume":"10","author":"Taylor Paul","year":"2002","unstructured":"Paul Taylor . 2002 . Sober Spaces and Continuations . Theory and Applications of Categories 10 , 12 (July 2002), 248\u2013299. PaulTaylor.EU\/ASD\/sobsc Paul Taylor. 2002. Sober Spaces and Continuations. Theory and Applications of Categories 10, 12 (July 2002), 248\u2013299. PaulTaylor.EU\/ASD\/sobsc","journal-title":"Theory and Applications of Categories"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80149-5"},{"volume-title":"Topology via logic","author":"Vickers Steven","key":"e_1_3_2_1_35_1","unstructured":"Steven Vickers . 1989. Topology via logic . Cambridge Tracts in Theoretical Computer Science, Vol.\u00a05. Cambridge University Press , Cambridge. xvi+200 pages. Steven Vickers. 1989. Topology via logic. Cambridge Tracts in Theoretical Computer Science, Vol.\u00a05. Cambridge University Press, Cambridge. xvi+200 pages."}],"event":{"name":"LICS '22: 37th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation"],"location":"Haifa Israel","acronym":"LICS '22"},"container-title":["Proceedings of the 37th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533355","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3531130.3533355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:10Z","timestamp":1750186930000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533355"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,2]]},"references-count":36,"alternative-id":["10.1145\/3531130.3533355","10.1145\/3531130"],"URL":"https:\/\/doi.org\/10.1145\/3531130.3533355","relation":{},"subject":[],"published":{"date-parts":[[2022,8,2]]},"assertion":[{"value":"2022-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}