{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:04:38Z","timestamp":1743026678044,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030572006"},{"type":"electronic","value":"9783030572013"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-57201-3_6","type":"book-chapter","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T23:20:00Z","timestamp":1597965600000},"page":"90-111","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["De Finetti\u2019s Construction as a Categorical Limit"],"prefix":"10.1007","author":[{"given":"Bart","family":"Jacobs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Staton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,21]]},"reference":[{"key":"6_CR1","unstructured":"Ackerman, N., Freer, C., Roy, D.: Exchangeable random primitives. In: Proceedings of PPS 2016 (2016)"},{"key":"6_CR2","unstructured":"Dahlqvist, F., Danos, V., Garnier, I.: Robustly parameterised higher-order probabilistic models. In: Desharnais, J., Jagadeesan, R. (eds.) CONCUR 2016 \u2013 Concurrency Theory. LIPIcs, vol. 59, pp. 23:1\u201323:15. Schloss Dagstuhl (2016)"},{"key":"6_CR3","doi-asserted-by":"publisher","unstructured":"Dahlqvist, F., Kozen, D.: Semantics of higher-order probabilistic programs with conditioning. In: Principles of Programming Languages, pp. 57:1\u201357:29. ACM Press (2020). https:\/\/doi.org\/10.1145\/3371125","DOI":"10.1145\/3371125"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Danos, V., Garnier, I.: Dirichlet is natural. In: Ghica, D. (ed.) Mathematical Foundations of Programming Semantics, number 319 in Electronic Notes in Theoretical Computer Science, pp. 137\u2013164. Elsevier, Amsterdam (2015)","DOI":"10.1016\/j.entcs.2015.12.010"},{"key":"6_CR5","unstructured":"de Finetti, B.: Funzione caratteristica di un fenomeno aleatorio. Memorie della R. Accademia Nazionale dei Lincei, IV, fasc. 5, 86\u2013113 (1930). www.brunodefinetti.it\/Opere\/funzioneCaratteristica.pdf"},{"key":"6_CR6","volume-title":"An Introduction to Probability Theory and Its applications","author":"W Feller","year":"1970","unstructured":"Feller, W.: An Introduction to Probability Theory and Its applications, vol. II. Wiley, Hoboken (1970)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Fritz, T.: A synthetic approach to Markov kernels, conditional independence, and theorems on sufficient statistics. arxiv.org\/abs\/1908.07021 (2019)","DOI":"10.1016\/j.aim.2020.107239"},{"key":"6_CR8","unstructured":"Fritz, T., Rischel, E.: The zero-one laws of Kolmogorov and Hewitt-Savage in categorical probability. arxiv.org\/abs\/1912.02769 (2019)"},{"key":"6_CR9","unstructured":"Hamano, M.: A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces. arxiv:1909.07589, September 2019"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BF01378337","volume":"9","author":"F Hausdorff","year":"1921","unstructured":"Hausdorff, F.: Summationsmethoden und Momentfolgen I. Math. Zeitschr. 9, 74\u2013109 (1921)","journal-title":"Math. Zeitschr."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Heunen, C., Kammar, O., Staton, S., Yang, H.: A convenient category for higher-order probability theory. In: Logic in Computer Science, pp. 1\u201312. IEEE Computer Society (2017)","DOI":"10.1109\/LICS.2017.8005137"},{"key":"6_CR12","unstructured":"Jacobs, B.: Structured probabilistic reasoning (2019, forthcoming book). http:\/\/www.cs.ru.nl\/B.Jacobs\/PAPERS\/ProbabilisticReasoning.pdf"},{"issue":"1","key":"6_CR13","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1017\/S0960129519000082","volume":"30","author":"B Jacobs","year":"2020","unstructured":"Jacobs, B.: A channel-based perspective on conjugate priors. Math. Struct. Comput. Sci. 30(1), 44\u201361 (2020)","journal-title":"Math. Struct. Comput. Sci."},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-642-32940-1_29","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"H Kerstan","year":"2012","unstructured":"Kerstan, H., K\u00f6nig, B.: Coalgebraic trace semantics for probabilistic transition systems based on measure theory. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 410\u2013424. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32940-1_29"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.jmva.2011.06.001","volume":"113","author":"C Kleiber","year":"2013","unstructured":"Kleiber, C., Stoyanov, J.: Multivariate distributions and the moment problem. J. Multivar. Anal. 113, 7\u201318 (2013)","journal-title":"J. Multivar. Anal."},{"key":"6_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5361-0","volume-title":"Probability Theory","author":"A Klenke","year":"2013","unstructured":"Klenke, A.: Probability Theory. Springer, London (2013). https:\/\/doi.org\/10.1007\/978-1-4471-5361-0"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"\u015acibior, A., et al.: Denotational validation of higher-order Bayesian inference. In: Principles of Programming Languages, pp. 60:1\u201360:29. ACM Press (2018)","DOI":"10.1145\/3236778"},{"key":"6_CR18","unstructured":"Staton, S., Stein, D., Yang, H., Ackerman, N., Freer, C., Roy, D.: The Beta-Bernoulli process and algebraic effects. In: Chatzigiannakis, I., Kaklamanis, C., Marx, D., Sannella, D. (eds.) International Colloquium on Automata, Languages and Programming. LIPIcs, vol. 107, pp. 141:1\u2013141:15. Schloss Dagstuhl (2018)"}],"container-title":["Lecture Notes in Computer Science","Coalgebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-57201-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T12:37:11Z","timestamp":1724330231000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-57201-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030572006","9783030572013"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-57201-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"21 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Coalgebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmcs2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.coalg.org\/cmcs20\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"69% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2-3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"There were several online events in September and October of 2020.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}