{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T12:04:31Z","timestamp":1753358671965,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T00:00:00Z","timestamp":1531094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,9]]},"DOI":"10.1145\/3209108.3209126","type":"proceedings-article","created":{"date-parts":[[2018,6,27]],"date-time":"2018-06-27T12:14:43Z","timestamp":1530101683000},"page":"649-658","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Probabilistic B\u00f6hm Trees and Probabilistic Separation"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Leventis","sequence":"first","affiliation":[{"name":"IRIF, Univ Paris Diderot, Sorbonne Paris Cit\u00e9, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2018,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The lambda calculus. Its syntax and semantics Studies in logic and foundations of mathematics","author":"Barendregt H. P.","year":"1981","unstructured":"H. P. Barendregt , The lambda calculus. Its syntax and semantics Studies in logic and foundations of mathematics , vol. 103 . North-Holland Publishing Company , Amsterdam, New York, and Oxford, 1981 , xiv + 615 pp. H. P. Barendregt, The lambda calculus. Its syntax and semantics Studies in logic and foundations of mathematics, vol. 103. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xiv + 615 pp."},{"key":"e_1_3_2_1_2_1","volume-title":"Probability and Measure","author":"Billingsley P.","year":"1995","unstructured":"P. Billingsley , Probability and Measure , third edition Wiley Series in Probability and Mathematical Statistics, 1995 . P. Billingsley, Probability and Measure, third edition Wiley Series in Probability and Mathematical Statistics, 1995."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_12"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1145"},{"key":"e_1_3_2_1_5_1","volume-title":"From B\u00f6hm's Theorem to Observational Equivalences: an Informal Account Electronic Notes in Theoretical Computer Science","author":"Dezani-Ciancaglini M.","year":"2001","unstructured":"M. Dezani-Ciancaglini and E. Giovannett , From B\u00f6hm's Theorem to Observational Equivalences: an Informal Account Electronic Notes in Theoretical Computer Science , 2001 . M. Dezani-Ciancaglini and E. Giovannett, From B\u00f6hm's Theorem to Observational Equivalences: an Informal Account Electronic Notes in Theoretical Computer Science, 2001."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.29"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-12.3.361"},{"key":"e_1_3_2_1_8_1","volume-title":"Probabilistic \u03bb-Theories Aix-Marseille Universit\u00e9 D.Phil. Thesis","author":"Leventis T.","year":"2016","unstructured":"T. Leventis , Probabilistic \u03bb-Theories Aix-Marseille Universit\u00e9 D.Phil. Thesis , 2016 . T. Leventis, Probabilistic \u03bb-Theories Aix-Marseille Universit\u00e9 D.Phil. Thesis, 2016."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/0205036"}],"event":{"name":"LICS '18: 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"],"location":"Oxford United Kingdom","acronym":"LICS '18"},"container-title":["Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209126","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3209108.3209126","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:07Z","timestamp":1750212427000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,9]]},"references-count":9,"alternative-id":["10.1145\/3209108.3209126","10.1145\/3209108"],"URL":"https:\/\/doi.org\/10.1145\/3209108.3209126","relation":{},"subject":[],"published":{"date-parts":[[2018,7,9]]},"assertion":[{"value":"2018-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}