{“id”：“https://openalex.org/W3177233459“，”doi“：”https://doi.org/10.1145/3611660“，”title“：”A Domain-theoretic Approach to Statistical Programming Languages“，”display_name“：”B Domain-ttheoretic Approach for Statistical Programming Language“，”publication_year“：2023，”B publication_date“：”2023-10-11“，”ID“：{”openalex“：”https://openalex.org/W3177233459“，”doi“：”https://doi.org/10.1145/3611660“，”mag“：”3177233459“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3611660“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S118992489“，”display_name“：”计算机械协会杂志“，”issn_l“：”0004-5411“，”isn“：[”0004-5401“，”1557-735X“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P4310319798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“青铜色”，“oa_url”：“”https://doi.org/10.1145/3611660“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5032396554“，”display_name“：”Jean Goubault-Larrecq“，”orcid“：”https://orcid.org/0000-0001-5879-3304}，“机构”：[{“id”：https://openalex.org/I277688954“，”display_name“：”巴黎大学Saclay“，”ror“：”https://ror.org/03xjwb503“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I277688954“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Jean Goubault-Larrecq“，”raw _ afiliation_strings“：[“University \u00e9 Paris-Saclay，CNRS，ENS Paris-Sacclay，Laboratoire M\u00e 9thodes Formelles，France”]，“affiliations”：[{“raw_affiliation_string”：“法国巴黎萨克利大学，CNRS，ENS Paris-Saclay，法国Formelles实验室”，“institution_ids”：[“https://openalex.org/I277688954","https://openalex.org/I1294671590“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5025475131“，”display_name“：”Xiaodong Jia“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I16609230“，”display_name“：”湖南大学“，”ror“：”https://ror.org/05htk5m33“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I16609230“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Xiaodong Jia“，”rau_affiliation_strings“：[中国湖南大学计算机科学与电子工程学院数学学院]，”affiliations“：”中国湖南大学数学学院与计算机科学与电子工程学院”，“institution_ids”：[“https://openalex.org/I16609230“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5025108529“，”display_name“：”Cl\u00e9ment Th\u00e 9ron“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I277688954“，”display_name“：”巴黎大学Saclay“，”ror“：”https://ror.org/03xjwb503“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I277688954“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Cl\u00e9ment Th\u00e 9ron“，”raw _affiliation_strings“：[“University \u00e9 Paris-Saclay，CNRS，ENS Paris-Sacclay，Laboratoire M\u00e_9thodes Formelles，France”]，“affiliations”：[{“raw_affiliation _string”：“法国巴黎萨克利大学，CNRS，ENS Paris-Saclay，法国Formelles实验室”，“institution_ids”：[“https://openalex.org/I277688954","https://openalex.org/I1294671590“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“fwci”：null，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count）：0，”cited_by_percentile_year“：{”min“：0，“max”：77}，“biblio”：{“卷”：“70”，“问题”：“5”，“第一页”：“1”，“last_page“：”63“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9986，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9986，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9927，”subfield“：｛”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11269“，”display_name“：”文本压缩和索引算法“，”score“：0.9868，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.562334}，{”id“：”https://openalex.org/keywords/computational深度“，”display_name“：”计算深度“，”score“：0.521744}，{”id“：”https://openalex.org/keywords/approxise-matching“，”display_name“：”近似匹配“，”score“：0.515859}，{”id“：”https://openalex.org/keywords/computability网站“，”display_name“：”可计算性“，”score“：0.509858}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.507117}]，”concepts“：[{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.7878494}，{”id“：”https://openalex.org/C29585364，“wikidata”：https://www.wikidata.org/wiki/Q1079166“，”display_name“：”领域理论“，”level“：2，”score“：0.7671436}，{”id“：”https://openalex.org/C33959348，“wikidata”：https://www.wikidata.org/wiki/Q1630568“，”display_name“：”Monad（范畴理论）“，”level“：3，”score“：0.66066325}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6296127}，{”id“：”https://openalex.org/C89448276，“wikidata”：https://www.wikidata.org/wiki/Q5259284（网址：https://www.wikidata.org/wiki/Q5259284）“，”display_name“：”Actor模型的表示语义“，”level“：5，”score“：0.6025735}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.58362174}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.52086735}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.48869255}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.48115194}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.47564456}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.4229892}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.33739114}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.29175633}，{”id“：”https://openalex.org/C156772000，“wikidata”：https://www.wikidata.org/wiki/Q864475“，”display_name“：”Functor“，”level“：2，”score“：0.13470218}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3611660“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S118992489“，”display_name“：”计算机械协会杂志“，”issn_l“：”0004-5411“，”isn“：[”0004-5401“，”1557-735X“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”host_organization_name“：”计算机协会“，”host_organization_lineage“：[”https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机器协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/2106.16190，“pdf_url”：https://arxiv.org/pdf/2106.16190，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/3611660“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S118992489“，”display_name“：”计算机械协会杂志“，”issn_l“：”0004-5411“，”isn“：[”0004-5401“，”1557-735X“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，“grants”：[{“funder”：“https://openalex.org/F4320321001“，”“funder_display_name”：“国家自然科学基金”，“award_id”：“12231007，12001181”}]，“数据集”：[]，“版本”：[]，“referenced_works_count”：70，“referrenced_works”：[”https://openalex.org/W1492711856","https://openalex.org/W1515039666","https://openalex.org/W1525647423","https://openalex.org/W1564629734","https://openalex.org/W1789681608","https://openalex.org/W1844453107","https://openalex.org/W1965612527","https://openalex.org/W197657312","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/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/W2116436934","https://openalex.org/W2146255646","https://openalex.org/W2149945624","https://openalex.org/W2155519322","https://openalex.org/W2164241629","https://openalex.org/W2166644419","https://openalex.org/W2313585303","https://openalex.org/W2395654200","https://openalex.org/W2531355220","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/W2951670568","https://openalex.org/W2962969400","https://openalex.org/W2963951024","https://openalex.org/W2965276752","https://openalex.org/W2965405805","https://openalex.org/W2971919449","https://openalex.org/W3015286085","https://openalex.org/W3124655276","https://openalex.org/W3125832933","https://openalex.org/W3127594476","https://openalex.org/W3171292371","https://openalex.org/W3180171850","https://openalex.org/W3197399999","https://openalex.org/W342302233","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/W4301509913","https://openalex.org/W438549760","https://openalex.org/W4388310185“]，”related_works“：[”https://openalex.org/W3036972880","https://openalex.org/W2955500005","https://openalex.org/W2604506208","https://openalex.org/W2154982982","https://openalex.org/W2041296984","https://openalex.org/W1977486458","https://openalex.org/W1968765218","https://openalex.org/W1966054964网址","https://openalex.org/W1929699059","https://openalex.org/W1493948694“]，”ngrams_url“：”https://api.openalex.org/works/W3177233459/ngrams网站“，”“abstract_inverted_index”：{“We”：[0127149]，“give”：[1128]，“a”：[2,6,78153173]，“domain-theoretic”：[3]，“semantics”：[4131160174]，“to”：[5,19,97145156168184197]，“statistical”：[7]，“programming”：[8]，“language”：[9134]，“using”：[10190]，“the”：[11,4018118146170]，“plain”：[12]，“old”：[13]，“类别”：[14]，“的”：[15,28,42,61,6512314]，“dcpos，“：[16]，”in“：[17]，”contrast“：[18]，”some“：[20210]，”more“：[21]，”sufficied“：[22]，”recent“：[23]，”proposts。“：[24]，”值得注意的是，“：[25]，”我们的“：[26133159]，”monad“：[27,60]，”最小“：[29,98115]，”估价“：[30,9116]，”is“：[31,53]，”可交换“：[32]，”which“：[33]，”允许“：[34]，”for“：[35,56132204]，”program“：[36]，”transformings“：[37]，”that“：[38,9138158172]，”permute“：[39]，”order“：[41]，“独立”：[43]，“随机”：[44]，“绘制”：[45]，“作为”：[46163]，“一个“：[47164]，”会“：[48165179]，”期望。“：[49]，“A”：[50]，“类似”：[51]，“属性”：[52]，“非”：[54,87101180]，“已知”：[55]，“琼斯”：[57]，“和”：[58135167]，“Plotkin\u2019s”：[59]，“连续”：[62177]，“估值”。“：[63]，”代替“：[64]，”工作“：[66]，”与“：[67,73143187193]，”真“：[68]，”实数“：[69,75109125]，”数字，“：[70]，”我们“：[71,92136]，”做功“：[72]，”精确“：[74124]，”算术“：[76]，”提供“：[77]，”桥接“：[79]，”朝向“：[80]，”可能“：[81]，”实现“：[82]，”（实现：[83]，“由”：[84114]，“他们自己”：[85]，“是”：[86140]，“地址为“：[88]，”此处）。“：[89]，“相当”：[90]，“显著”，：[91]，“显示”：[93137]，“限制”：[95]，“我们自己”：[96]，“做”：[100]，“约束”：[102]，“美国”：[103]，“多：”：[104]，“所有”：[105]，“度量”：[106186192199]，“on”：[107117176216]，“line”：[110]，“can”：[111]，“be”：[1112181]，“modeled”：[113]，“domain”：[119]，“I”：[120]，“\u211d”：[121]，“\ u22a5”：[122]，“算术。“：[126]，”三“：[129]，”操作“：[130]，”他们“：[139]，”所有“：[141]，”适当“：[142]，”尊重“：[144]，”指称“：[147]，”语义。“：[148]，”也“：[150208]，”探索“：[151]，”相当“：[152]，”很少“：[154]，”示例“：[155207]，”演示“：[157]，”计算“：[161]，”精确“：[162]，”期望“：[166]，”debunk“：[169]，”神话“：[171]，”基于“：[175]，”地图“：[178]，”表达“：[182]，”足够“：[183]，”编码“：[185198]，”非紧凑“：[188]，“支持”：[189]，“仅”：[191]，“紧凑”：[194]，“支撑”：[195]，“或“：[196]，”via“：[200]，”non-continuous“：[201]，”density“：[202]，”functions“，”：[203]，“instance。“：[205]，”我们的“：[206]，”包括“：[209]，”有用“：[211]，”非平凡“：[212]，”案例“：[213]，”分布“：[215]，”高阶“：[217]，”对象。“：[218]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3177233459“，”counts_by_year“：[]，”updated_date“：”2024-06-24T03:58:12.614070“，”created_date:“2021-07-05”}“