{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T10:30:52Z","timestamp":1753439452068,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662544570"},{"type":"electronic","value":"9783662544587"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54458-7_21","type":"book-chapter","created":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T09:22:57Z","timestamp":1489569777000},"page":"355-369","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Pointless Learning"],"prefix":"10.1007","author":[{"given":"Florence","family":"Clerc","sequence":"first","affiliation":[]},{"given":"Vincent","family":"Danos","sequence":"additional","affiliation":[]},{"given":"Fredrik","family":"Dahlqvist","sequence":"additional","affiliation":[]},{"given":"Ilias","family":"Garnier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,16]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Ackerman, N.L., Freer, C.E., Roy, D.M.: Noncomputable conditional distributions. In: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS, Toronto, Ontario, Canada, pp. 107\u2013116, 21\u201324 June 2011","DOI":"10.1109\/LICS.2011.49"},{"key":"21_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03961-8","volume-title":"Infinite Dimensional Analysis","author":"C Aliprantis","year":"1999","unstructured":"Aliprantis, C., Border, K.: Infinite Dimensional Analysis, vol. 32006. Springer, Heidelberg (1999)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Chaput, P., Danos, V., Panangaden, P., Plotkin, G.: Approximating markov processes by averaging. J. ACM 61(1), 45 pages (2014)","DOI":"10.1145\/2537948"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Clerc, F., Dahlqvist, F., Danos, V., Garnier, I.: Pointless learning (long version) (2017)","DOI":"10.1007\/978-3-662-54458-7_21"},{"issue":"4","key":"21_CR5","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1007\/s10485-013-9324-9","volume":"22","author":"J Culbertson","year":"2012","unstructured":"Culbertson, J., Sturtz, K.: A categorical foundation for Bayesian probability. Appl. Categorical Struct. 22(4), 647\u2013662 (2012)","journal-title":"Appl. Categorical Struct."},{"key":"21_CR6","unstructured":"Dahlqvist, F., Danos, V., Garnier, I., Kammar, O.: Bayesian inversion by omega-complete cone duality (invited paper). In: Desharnais, J., Jagadeesan, R. (eds.) 27th International Conference on Concurrency Theory (CONCUR 2016), vol. 59 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 1:1\u20131:15. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2016)"},{"key":"21_CR7","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0092872","volume-title":"Categorical Aspects of Topology and Analysis","author":"M Giry","year":"1982","unstructured":"Giry, M.: A categorical approach to probability theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis. LNM, vol. 915, pp. 68\u201385. Springer, Heidelberg (1982). doi:10.1007\/BFb0092872"},{"key":"21_CR8","volume-title":"Foundations of Modern Probability","author":"O Kallenberg","year":"1997","unstructured":"Kallenberg, O.: Foundations of Modern Probability. Springer, New York (1997)"},{"key":"21_CR9","series-title":"Graduate Text in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4190-4","volume-title":"Classical Descriptive Set Theory","author":"AS Kechris","year":"1995","unstructured":"Kechris, A.S.: Classical Descriptive Set Theory. Graduate Text in Mathematics, vol. 156. Springer, New York (1995)"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Kozen, D.: A probabilistic PDL. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, STOC 1983, pp. 291\u2013297. ACM, New York (1983)","DOI":"10.1145\/800061.808758"},{"key":"21_CR11","unstructured":"Selinger, P.: Towards a semantics for higher-order quantum computation. In: Proceedings of the 2nd International Workshop on Quantum Programming Languages, TUCS General Publication, vol. 33, pp. 127\u2013143 (2004)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Staton, S., Yang, H., Heunen, C., Kammar, O., Wood, F.: Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. CoRR, abs\/1601.04943 (2016)","DOI":"10.1145\/2933575.2935313"},{"key":"21_CR13","series-title":"Grundlehren der mathematischen Wissenschaften","volume-title":"Optimal Transport, Old and New","author":"C Villani","year":"2006","unstructured":"Villani, C.: Optimal Transport, Old and New. Grundlehren der mathematischen Wissenschaften. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54458-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T02:06:22Z","timestamp":1618970782000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-54458-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662544570","9783662544587"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54458-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"16 March 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoSSaCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Foundations of Software Science and Computation Structures","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Uppsala","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fossacs2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.etaps.org\/index.php\/2017\/fossacs","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}