{"id":"https://openalex.org/W3177233459","doi":"https://doi.org/10.1145/3611660","title":"A Domain-theoretic Approach to Statistical Programming Languages","display_name":"A Domain-theoretic Approach to Statistical Programming Languages","publication_year":2023,"publication_date":"2023-08-19","ids":{"openalex":"https://openalex.org/W3177233459","doi":"https://doi.org/10.1145/3611660","mag":"3177233459"},"language":"en","primary_location":{"id":"doi:10.1145/3611660","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3611660","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.18","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032396554","display_name":"Jean Goubault-Larrecq","orcid":"https://orcid.org/0000-0001-5879-3304"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4387154672","display_name":"Laboratoire M\u00e9thodes Formelles","ror":"https://ror.org/00gdtta79","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4387154672"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Jean Goubault-Larrecq","raw_affiliation_strings":["Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire M\u00e9thodes Formelles, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire M\u00e9thodes Formelles, France","institution_ids":["https://openalex.org/I277688954","https://openalex.org/I1294671590","https://openalex.org/I4387154672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025475131","display_name":"Xiaodong Jia","orcid":"https://orcid.org/0000-0001-9310-6143"},"institutions":[{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaodong Jia","raw_affiliation_strings":["School of Mathematics & College of Computer Science and Electronic Engineering, Hunan University, China"],"affiliations":[{"raw_affiliation_string":"School of Mathematics & College of Computer Science and Electronic Engineering, Hunan University, China","institution_ids":["https://openalex.org/I16609230"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025108529","display_name":"Cl\u00e9ment Th\u00e9ron","orcid":"https://orcid.org/0000-0003-2703-4289"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4387154672","display_name":"Laboratoire M\u00e9thodes Formelles","ror":"https://ror.org/00gdtta79","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4387154672"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Cl\u00e9ment Th\u00e9ron","raw_affiliation_strings":["Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire M\u00e9thodes Formelles, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire M\u00e9thodes Formelles, France","institution_ids":["https://openalex.org/I277688954","https://openalex.org/I1294671590","https://openalex.org/I4387154672"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5032396554"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4387154672"],"apc_list":null,"apc_paid":null,"fwci":0.9831,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.77648347,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":"70","issue":"5","first_page":"1","last_page":"63"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9800999760627747,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.7861462235450745},{"id":"https://openalex.org/keywords/domain-theory","display_name":"Domain theory","score":0.7562156915664673},{"id":"https://openalex.org/keywords/monad","display_name":"Monad (category theory)","score":0.6484489440917969},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6113477349281311},{"id":"https://openalex.org/keywords/denotational-semantics-of-the-actor-model","display_name":"Denotational semantics of the Actor model","score":0.5834914445877075},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5796025991439819},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5069711208343506},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4909704029560089},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4720792770385742},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47029539942741394},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.414570152759552},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35306107997894287},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.310020387172699},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.14142853021621704}],"concepts":[{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.7861462235450745},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.7562156915664673},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.6484489440917969},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6113477349281311},{"id":"https://openalex.org/C89448276","wikidata":"https://www.wikidata.org/wiki/Q5259284","display_name":"Denotational semantics of the Actor model","level":5,"score":0.5834914445877075},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5796025991439819},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5069711208343506},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4909704029560089},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4720792770385742},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47029539942741394},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.414570152759552},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35306107997894287},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.310020387172699},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.14142853021621704},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1145/3611660","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3611660","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},{"id":"pmh:oai:drops-oai.dagstuhl.de:15373","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.18","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},{"id":"pmh:oai:arXiv.org:2106.16190","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2106.16190","pdf_url":"https://arxiv.org/pdf/2106.16190","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:arXiv.org:2111.10873","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2111.10873","pdf_url":"https://arxiv.org/pdf/2111.10873","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-04183840v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04183840","pdf_url":"https://inria.hal.science/hal-04183840v1/document","source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of the ACM (JACM), 2023, ⟨10.1145/3611660⟩","raw_type":"Journal articles"},{"id":"pmh:oai:HAL:hal-03258065v3","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-03258065","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CALCO 2021 - 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 2021, Salzburg, Austria. ⟨10.4230/LIPIcs.CALCO.2021.18⟩","raw_type":"Conference papers"},{"id":"doi:10.4230/lipics.calco.2021.18","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.calco.2021.18","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:15373","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.18","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3709185174","display_name":null,"funder_award_id":"12001181","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5167091242","display_name":null,"funder_award_id":"No. 1","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5870735432","display_name":null,"funder_award_id":"12231007","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6058138561","display_name":null,"funder_award_id":", No.","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6151700919","display_name":null,"funder_award_id":"12231007, 12001181","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7473718869","display_name":null,"funder_award_id":"22310","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":81,"referenced_works":["https://openalex.org/W342302233","https://openalex.org/W438549760","https://openalex.org/W1492711856","https://openalex.org/W1515039666","https://openalex.org/W1525647423","https://openalex.org/W1564629734","https://openalex.org/W1572053176","https://openalex.org/W1789681608","https://openalex.org/W1844453107","https://openalex.org/W1965612527","https://openalex.org/W1976571312","https://openalex.org/W1980768744","https://openalex.org/W1981948421","https://openalex.org/W1982942255","https://openalex.org/W1991902959","https://openalex.org/W1997143185","https://openalex.org/W1998875295","https://openalex.org/W1999194606","https://openalex.org/W2005449309","https://openalex.org/W2009311190","https://openalex.org/W2010959827","https://openalex.org/W2012949680","https://openalex.org/W2014234623","https://openalex.org/W2023439666","https://openalex.org/W2026278715","https://openalex.org/W2028924965","https://openalex.org/W2030824048","https://openalex.org/W2041761682","https://openalex.org/W2048999490","https://openalex.org/W2049767056","https://openalex.org/W2060852846","https://openalex.org/W2066507241","https://openalex.org/W2069429561","https://openalex.org/W2071065290","https://openalex.org/W2082241908","https://openalex.org/W2107892052","https://openalex.org/W2110839939","https://openalex.org/W2112820511","https://openalex.org/W2116436934","https://openalex.org/W2146255646","https://openalex.org/W2149945624","https://openalex.org/W2155519322","https://openalex.org/W2155748644","https://openalex.org/W2164241629","https://openalex.org/W2166644419","https://openalex.org/W2313585303","https://openalex.org/W2395654200","https://openalex.org/W2531355220","https://openalex.org/W2552774122","https://openalex.org/W2565964471","https://openalex.org/W2571678918","https://openalex.org/W2573614896","https://openalex.org/W2591957553","https://openalex.org/W2595803793","https://openalex.org/W2605800822","https://openalex.org/W2770908033","https://openalex.org/W2900404128","https://openalex.org/W2951670568","https://openalex.org/W2962969400","https://openalex.org/W2963951024","https://openalex.org/W2965276752","https://openalex.org/W2965405805","https://openalex.org/W2971919449","https://openalex.org/W3005031705","https://openalex.org/W3015286085","https://openalex.org/W3124655276","https://openalex.org/W3125832933","https://openalex.org/W3127594476","https://openalex.org/W3171292371","https://openalex.org/W3174932274","https://openalex.org/W3180171850","https://openalex.org/W3197399999","https://openalex.org/W4206180205","https://openalex.org/W4246909826","https://openalex.org/W4249733112","https://openalex.org/W4249849891","https://openalex.org/W4286256907","https://openalex.org/W4292027056","https://openalex.org/W4388310185","https://openalex.org/W6611509941","https://openalex.org/W6683021380"],"related_works":["https://openalex.org/W3036972880","https://openalex.org/W1929699059","https://openalex.org/W1968765218","https://openalex.org/W2041296984","https://openalex.org/W1493948694","https://openalex.org/W1966054964","https://openalex.org/W1860761177","https://openalex.org/W2604506208","https://openalex.org/W2955500005","https://openalex.org/W2154982982"],"abstract_inverted_index":{"We":[0,127,149],"give":[1,128],"a":[2,6,78,153,173],"domain-theoretic":[3],"semantics":[4,131,160,174],"to":[5,19,97,145,156,168,184,197],"statistical":[7],"programming":[8],"language,":[9,134],"using":[10,190],"the":[11,40,108,118,146,170],"plain":[12],"old":[13],"category":[14],"of":[15,28,42,61,65,123,214],"dcpos,":[16],"in":[17],"contrast":[18],"some":[20,210],"more":[21],"sophisticated":[22],"recent":[23],"proposals.":[24],"Remarkably,":[25],"our":[26,133,159],"monad":[27,60],"minimal":[29,98,115],"valuations":[30,99,116],"is":[31,53],"commutative,":[32],"which":[33],"allows":[34],"for":[35,56,132,204],"program":[36],"transformations":[37],"that":[38,94,138,158,172],"permute":[39],"order":[41],"independent":[43],"random":[44],"draws,":[45],"as":[46,163],"one":[47,164],"would":[48,165,179],"expect.":[49],"A":[50],"similar":[51],"property":[52],"not":[54,87,101,180],"known":[55],"Jones":[57],"and":[58,135,167],"Plotkin\u2019s":[59],"continuous":[62,177],"valuations.":[63],"Instead":[64],"working":[66],"with":[67,73,143,187,193],"true":[68],"real":[69,75,109,125],"numbers,":[70],"we":[71,92,136],"work":[72],"exact":[74,124],"arithmetic,":[76],"providing":[77],"bridge":[79],"towards":[80],"possible":[81],"implementations":[82],"(implementations":[83],"by":[84,114],"themselves":[85],"are":[86,140],"addressed":[88],"here).":[89],"Rather":[90],"remarkably,":[91],"show":[93,137],"restricting":[95],"ourselves":[96],"does":[100],"restrict":[102],"us":[103],"much:":[104],"All":[105],"measures":[106,186,192,199],"on":[107,117,176,216],"line":[110],"can":[111],"be":[112,181],"modeled":[113],"domain":[119],"I":[120],"\u211d":[121],"\u22a5":[122],"arithmetic.":[126],"three":[129],"operational":[130],"they":[139],"all":[141],"adequate":[142],"respect":[144],"denotational":[147],"semantics.":[148],"also":[150,208],"explore":[151],"quite":[152],"few":[154],"examples":[155,207],"demonstrate":[157],"computes":[161],"exactly":[162],"expect":[166],"debunk":[169],"myth":[171],"based":[175],"maps":[178],"expressive":[182],"enough":[183],"encode":[185,198],"non-compact":[188],"support":[189],"only":[191],"compact":[194],"support,":[195],"or":[196],"via":[200],"non-continuous":[201],"density":[202],"functions,":[203],"instance.":[205],"Our":[206],"include":[209],"useful,":[211],"non-trivial":[212],"cases":[213],"distributions":[215],"higher-order":[217],"objects.":[218]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2021-07-05T00:00:00"}