{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T10:37:48Z","timestamp":1756636668339,"version":"3.37.3"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,29]]},"DOI":"10.1109\/lics52264.2021.9470747","type":"proceedings-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T20:14:07Z","timestamp":1625688847000},"page":"1-12","source":"Crossref","is-referenced-by-count":2,"title":["Universal Semantics for the Stochastic \u03bb-Calculus"],"prefix":"10.1109","author":[{"given":"Pedro H.","family":"Azevedo de Amorim","sequence":"first","affiliation":[{"name":"Cornell University"}]},{"given":"Dexter","family":"Kozen","sequence":"additional","affiliation":[{"name":"Cornell University"}]},{"given":"Radu","family":"Mardare","sequence":"additional","affiliation":[{"name":"University of Strathclyde"}]},{"given":"Prakash","family":"Panangaden","sequence":"additional","affiliation":[{"name":"McGill University"}]},{"given":"Michael","family":"Roberts","sequence":"additional","affiliation":[{"name":"Cornell University"}]}],"member":"263","reference":[{"key":"ref10","volume":"3","author":"barendregt","year":"1984","journal-title":"The Lambda Calculus"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF02483849"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(83)90030-1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00250-2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935313"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005137"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3290349"},{"key":"ref17","article-title":"Behavioral equivalences for higher-order languages with probabilities","author":"vignudelli","year":"2017","journal-title":"Ph D Dissertation"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80216-6"},{"key":"ref19","article-title":"Commutative monads for probabilistic programming languages","author":"jia","year":"2021","journal-title":"Logic In Computer Science (LICS)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01705520"},{"key":"ref3","volume":"47","author":"bell","year":"2011","journal-title":"Boolean-valued Models and Independence Proofs in Set Theory"},{"key":"ref6","article-title":"Church: a language for generative models","author":"goodman","year":"2012","journal-title":"arXiv preprint arXiv 1206 3255"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951942"},{"journal-title":"A structural approach to operational semantics","year":"1981","author":"plotkin","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31623-4_1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2014.03.003"},{"key":"ref1","article-title":"Boolean-valued semantics for the stochastic ?-calculus","author":"bacci","year":"2018","journal-title":"Logic in Computer Science (2018)"},{"article-title":"Real and complex analysis","year":"1974","author":"walter","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2011.02.001"},{"key":"ref22","article-title":"Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming","author":"ehrhard","year":"2017","journal-title":"ACM Principles of Programming Languages"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535865"}],"event":{"name":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2021,6,29]]},"location":"Rome, Italy","end":{"date-parts":[[2021,7,2]]}},"container-title":["2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470747.pdf?arnumber=9470747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T23:01:50Z","timestamp":1659481310000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9470747\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/lics52264.2021.9470747","relation":{},"subject":[],"published":{"date-parts":[[2021,6,29]]}}}