{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:56:28Z","timestamp":1770278188086,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T00:00:00Z","timestamp":1720396800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Italian MUR NRRP, EU NextGenerationEU","award":["PE00000014 (SERICS)"],"award-info":[{"award-number":["PE00000014 (SERICS)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,8]]},"DOI":"10.1145\/3661814.3662126","type":"proceedings-article","created":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T12:30:12Z","timestamp":1718973012000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Cartesian Closed Category for Random Variables"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0638-4610","authenticated-orcid":false,"given":"Pietro","family":"Di Gianantonio","sequence":"first","affiliation":[{"name":"Dept. of Mathematics, Computing and Physics, University of Udine, Udine, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6211-1991","authenticated-orcid":false,"given":"Abbas","family":"Edalat","sequence":"additional","affiliation":[{"name":"Dept. of Computing, Imperial College, London, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2024,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/lics.1990.113761"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90065-T"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Samson Abramsky and Achim Jung. 1995. Domain theory Handbook of logic in computer science (vol. 3): semantic structures.","DOI":"10.1093\/oso\/9780198537625.003.0001"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1112\/S0024610700008681"},{"key":"e_1_3_2_1_5_1","volume-title":"Measure theory and probability theory","author":"Athreya Krishna B","unstructured":"Krishna B Athreya and Soumendra N Lahiri. 2006. Measure theory and probability theory. Vol. 19. Springer."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209175"},{"key":"e_1_3_2_1_7_1","volume-title":"Space-filling curves: an introduction with applications in scientific computing","author":"Bader Michael","unstructured":"Michael Bader. 2012. Space-filling curves: an introduction with applications in scientific computing. Vol. 9. Springer Science & Business Media."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2016.09.031"},{"key":"e_1_3_2_1_9_1","volume-title":"Convergence of probability measures","author":"Billingsley Patrick","unstructured":"Patrick Billingsley. 2013. Convergence of probability measures. John Wiley & Sons."},{"key":"e_1_3_2_1_10_1","volume-title":"Lattice theory","author":"Birkhoff Garrett","unstructured":"Garrett Birkhoff. 1940. Lattice theory. Vol. 25. American Mathematical Soc."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111056"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.IC.2011.02.001"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00036-5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00050-7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1096"},{"key":"e_1_3_2_1_16_1","volume-title":"Power domains and iterated function systems. information and computation 124, 2","author":"Edalat Abbas","year":"1996","unstructured":"Abbas Edalat. 1996. Power domains and iterated function systems. information and computation 124, 2 (1996), 182--197."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00091-3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158147"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00250-2"},{"key":"e_1_3_2_1_20_1","volume-title":"Statistical distributions","author":"Forbes Catherine","unstructured":"Catherine Forbes, Merran Evans, Nicholas Hastings, and Brian Peacock. 2011. Statistical distributions. John Wiley & Sons."},{"key":"e_1_3_2_1_21_1","volume-title":"Klaus Keimel, Jimmie D Lawson, Michael Mislove, and Dana S Scott.","author":"Gierz Gerhard","year":"2003","unstructured":"Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D Lawson, Michael Mislove, and Dana S Scott. 2003. Continuous lattices and domains. Vol. 93. Cambridge university press."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3611660"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.23"},{"key":"e_1_3_2_1_24_1","volume-title":"Measure theory","author":"Halmos Paul R","unstructured":"Paul R Halmos. 2013. Measure theory. Vol. 18. Springer."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005137"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198535645.003.0010"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS56636.2023.10175739"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS52264.2021.9470611"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/77350.77370"},{"key":"e_1_3_2_1_30_1","volume-title":"Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday","author":"Jung Achim","unstructured":"Achim Jung. 2013. Continuous domain theory in logical form. In Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Springer, 166--177."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80216-6"},{"key":"e_1_3_2_1_32_1","volume-title":"Technische Hochschule Darmstadt","author":"Kirch Olaf","year":"1993","unstructured":"Olaf Kirch. 1993. Bereiche und bewertungen. Master's thesis, Technische Hochschule Darmstadt (1993)."},{"key":"e_1_3_2_1_33_1","volume-title":"Valuations on continuous lattices. Continuous lattices and related topics 27","author":"Lawson Jimmy D","year":"1982","unstructured":"Jimmy D Lawson. 1982. Valuations on continuous lattices. Continuous lattices and related topics 27 (1982), 204--225."},{"key":"e_1_3_2_1_34_1","volume-title":"Domains and Random Variables. (7","author":"Mislove Michael W.","year":"2016","unstructured":"Michael W. Mislove. 2016. Domains and Random Variables. (7 2016). http:\/\/arxiv.org\/abs\/1607.07698"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96719"},{"key":"e_1_3_2_1_36_1","volume-title":"Notions of computation and monads. Information and computation 93, 1","author":"Moggi Eugenio","year":"1991","unstructured":"Eugenio Moggi. 1991. Notions of computation and monads. Information and computation 93, 1 (1991), 55--92."},{"key":"e_1_3_2_1_37_1","volume-title":"Dirichlet and related distributions: Theory, methods and applications","author":"Ng Kai Wang","unstructured":"Kai Wang Ng, Guo-Liang Tian, and Man-Lai Tang. 2011. Dirichlet and related distributions: Theory, methods and applications. John Wiley & Sons."},{"key":"e_1_3_2_1_38_1","volume-title":"Post-graduate lecture notes in advanced domain theory (incorporating the Pisa Notes). Dept. of Computer Science","author":"Plotkin Gordon D","year":"1981","unstructured":"Gordon D Plotkin. 1981. Post-graduate lecture notes in advanced domain theory (incorporating the Pisa Notes). Dept. of Computer Science, Univ. of Edinburgh (1981)."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614952"},{"key":"e_1_3_2_1_40_1","volume-title":"A per model of secure information flow in sequential programs. Higher-order and symbolic computation 14","author":"Sabelfeld Andrei","year":"2001","unstructured":"Andrei Sabelfeld and David Sands. 2001. A per model of secure information flow in sequential programs. Higher-order and symbolic computation 14 (2001), 59--91."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1080\/0020739920230309"},{"key":"e_1_3_2_1_42_1","volume-title":"Space-filling curves","author":"Sagan Hans","unstructured":"Hans Sagan. 2012. Space-filling curves. Springer Science & Business Media."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(80)90003-1"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.JAL.2014.03.003"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90045-7"},{"key":"e_1_3_2_1_46_1","volume-title":"International Colloquium on Automata, Languages, and Programming","author":"Smyth Michael B","unstructured":"Michael B Smyth. 1983. Power domains and predicate transformers: A topological view. In International Colloquium on Automata, Languages, and Programming. Springer, 662--675."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290349"},{"key":"e_1_3_2_1_48_1","volume-title":"Topology via logic","author":"Vickers Steven","unstructured":"Steven Vickers. 1989. Topology via logic. Cambridge University Press."},{"key":"e_1_3_2_1_49_1","volume-title":"Real and complex analysis","author":"Walter Rudin","unstructured":"Rudin Walter. 1987. Real and complex analysis. McGraw-HiII Book Company."}],"event":{"name":"LICS '24: 39th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Tallinn Estonia","acronym":"LICS '24","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE Computer Society","EACSL"]},"container-title":["Proceedings of the 39th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662126","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3661814.3662126","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:09Z","timestamp":1750290249000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,8]]},"references-count":49,"alternative-id":["10.1145\/3661814.3662126","10.1145\/3661814"],"URL":"https:\/\/doi.org\/10.1145\/3661814.3662126","relation":{},"subject":[],"published":{"date-parts":[[2024,7,8]]},"assertion":[{"value":"2024-07-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}