{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:30:22Z","timestamp":1781893822003,"version":"3.54.5"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005137","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T20:43:24Z","timestamp":1502397804000},"page":"1-12","source":"Crossref","is-referenced-by-count":74,"title":["A convenient category for higher-order probability theory"],"prefix":"10.1109","author":[{"given":"Chris","family":"Heunen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ohad","family":"Kammar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sam","family":"Staton","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38946-7_18"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-63-03001-1"},{"key":"ref32","article-title":"Probability sheaves","author":"simpson","year":"2016","journal-title":"CIPP"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2014.03.003"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00109-4"},{"key":"ref37","article-title":"A new approach to probabilistic programming inference","author":"wood","year":"2014","journal-title":"Proc AISTATS"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(72)90019-9"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1307\/mmj\/1028999711"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935313"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0061821"},{"key":"ref11","article-title":"On finiteness spaces and extensional presheaves over the Lawvere theory of polynomials","author":"ehrhard","year":"2007","journal-title":"J Pure Appl Algebra"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535865"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.07.092"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.06.011"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0092872"},{"key":"ref16","article-title":"Church: a language for generative models","author":"goodman","year":"2008","journal-title":"UAI"},{"key":"ref17","first-page":"352","article-title":"wQRB-domains and the probabilistic powerdomain","author":"goubault-larrecq","year":"2010","journal-title":"Proc LICS"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1955-0076206-8"},{"key":"ref19","author":"huang","year":"0","journal-title":"An application of computable distributions to the semantics of probabilistic programs part 2"},{"key":"ref28","author":"preston","year":"2008","journal-title":"Some notes on standard Borel and related spaces"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2016.09.031"},{"key":"ref27","author":"pape","year":"2016","journal-title":"Computability in basic quantum mechanics"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-2011-05107-X"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951942"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.004"},{"key":"ref8","article-title":"La prévision: ses lois logiques, ses sources subjectives","volume":"7","author":"de finetti","year":"1937","journal-title":"Annales Institut Henri Poincare"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54434-1_14"},{"key":"ref2","author":"austin","year":"2013","journal-title":"Exchangeable random arrays"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01886868"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1215\/ijm\/1255631584","article-title":"Borel structures for function spaces","volume":"5","author":"aumann","year":"1961","journal-title":"Illinois Journal of Mathematics"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-38.2.237"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80216-6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1989.39173"},{"key":"ref24","author":"mansinghka","year":"2014","journal-title":"Venture a higherorder probabilistic programming platform with programmable inference"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4015-8","author":"kallenberg","year":"2002","journal-title":"Foundations of Modern Probability"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2014.03.008"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Reykjavik, Iceland","start":{"date-parts":[[2017,6,20]]},"end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005137.pdf?arnumber=8005137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T07:39:29Z","timestamp":1570001969000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005137\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005137","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}