｛“id”：“https://openalex.org/W2921909284“，”doi“：”https://doi.org/10.1145/3293605“，”title“：”通过单数仿射大小键入进行概率终止“，”display_name“：”根据单数仿形大小键入进行的概率终结“，”publication_year“：2019，”publiction_date“：”2019-03-15“，”ids“：{”openalex“：”https://openalex.org/W2921909284“，”doi“：”https://doi.org/10.1145/3293605“，”mag“：”2921909284“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3293605“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S41449414“，”display_name“：”编程语言和系统上的ACM事务“，”issn_l“：”0164-0925“，”isn“：[”0164-00925“、”1558-4593“]，”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“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://hal.science/hal-02399423/document“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5084450516“，”display_name“：”Ugo Dal Lago“，”orcid“：”https://orcid.org/0000-0001-9200-070X“｝，”机构“：[｛”id“：”https://openalex.org/I9360294“，”display_name“：”博洛尼亚大学“，”ror“：”https://ror.org/0111rn36“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I9360294“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Ugo Dal Lago“，”raw _affiliation_strings“：[“博洛尼亚大学8 INRIA Sophia Antipolis，Bologna，Italy”]，“affiliations”：[{“raw_affiliation_string”：“博洛纳大学8 INNIA Sophia Antipolis，Bologana，Italy”，“institution_ids”：[”https://openalex.org/I9360294“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5028774121“，”display_name“：”Charles Grellois“，”orcid“：”https://orcid.org/0000-0003-0926-7484“｝，”机构“：[｛”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Charles Grellois“，”raw _affiliation_strings“：[“INRIA Sophia Antipolis”]，”从属关系“：[{”raw _affiliation_string“：”INRIA索菲亚·安提波利斯“，”institution_ids“：[https://openalex.org/I1326498283“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc _ paid”：null，“fwci”：1.854，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：17，“ciped_by_percentile_year”：{“min”：91，“max”：92}，“biblio”“：{”卷“：”41“，”问题“：”2“，”第一页“：”1“，”last_page“：”65“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“subfield”：{“id”：“https://openalex.org/subfields/s702“，”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.9996，“subfield”：{“id”：“https://openalex.org/subfields/s702“，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9849，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”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.9808，”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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.51419}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.510729}]，”concepts“：[{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.7504152}，{”id“：”https://openalex.org/C92757383，“wikidata”：https://www.wikidata.org/wiki/Q382497“，”display_name“：”仿射变换“，”level“：2，”score“：0.730853｝，｛”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.714293}，{”id“：”https://openalex.org/C136886441，“wikidata”：https://www.wikidata.org/wiki/Q926129“，”display_name“：”规范化（社会学）“，”level“：2，”score“：0.65913737}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5968949}，{”id“：”https://openalex.org/C159333733，“wikidata”：https://www.wikidata.org/wiki/Q7051809“，”display_name“：”规范化属性“，”level“：2，”score“：0.51592195}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.50996315}，{”id“：”https://openalex.org/C198370458，“wikidata”：https://www.wikidata.org/wiki/Q586459“，”display_name“：”类型推断“，”level“：3，”score“：0.41134018}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.38890404}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.38195163}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.33219874}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.16476461｝，｛”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.16311473}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.11775693}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推断“，”级别“：2，”分数“：0.110015094}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C144024400，“wikidata”：https://www.wikidata.org/wiki/Q21201“，”display_name“：”社会学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C19165224，“wikidata”：https://www.wikidata.org/wiki/Q23404“，”display_name“：”人类学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：10，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3293605“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S41449414“，”display_name“：”编程语言和系统上的ACM事务“，”issn_l“：”0164-0925“，”isn“：[”0164-00925“、”1558-4593“]，”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“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-02399423，“pdf_url”：https://hal.science/hal-02399423/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-02399423“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01635077，“pdf_url”：https://hal.science/hal-01635077/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01635077/document，“pdf_url”：https://hal.archives-overtes.fr/hal-01635077/文档，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01635077/file/dal-lago-grellois-monadic-affine-sized-typing.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-01635077/file/dal-lago-grellois-monadic-affine-sized-typing.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/11585/732572，“pdf_url”：https://cris.unibo.it/bitstream/11585/732572/4/ACMTrans2019.pdf，“源”：{“id”：https://openalex.org/S4306402579“，”“display_name”：“Archivio istituzionale della ricerca（Alma Matter Studiorum University\u00e0 di Bologna）”，“issn_l”：null，“issn”：null，“is_oa”：true，“is_ in_doaj”：false，“host_organization”：“https://openalex.org/I4210117483“，”host_organization_name“：”Istituto di Ematologia di Bologna“，”主机组织名称“：[”https://openalex.org/I4210117483“]，”host_organization_lineage_names“：[”Istituto di Ematologia di Bologna“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-02399423/file/main.pdf，“pdf_url”：https://hal.science/hal-02399423/file/main.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-02399423/file/main.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02399423/file/main.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-02399423/document，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02399423/文档，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”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://hal.archives-ouvertes.fr/hal-02399423，“pdf_url”：https://hal.science/hal-02399423/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1499878068","https://openalex.org/W1595989212","https://openalex.org/W1602651206","https://openalex.org/W1605543919","https://openalex.org/W1975575519","https://openalex.org/W1989703373","https://openalex.org/W2011086847","https://openalex.org/W2070983411","https://openalex.org/W2148387264","https://openalex.org/W2155968038","https://openalex.org/W2166496828","https://openalex.org/W2168162624","https://openalex.org/W2171496589","https://openalex.org/W2178058987","https://openalex.org/W2233431969","https://openalex.org/W2767778696","https://openalex.org/W2893610333","https://openalex.org/W69987426“]，”related_works“：[”https://openalex.org/W3106177951","https://openalex.org/W2950376466","https://openalex.org/W2560264166","https://openalex.org/W2466303427","https://openalex.org/W2294370068","https://openalex.org/W2126704006","https://openalex.org/W2081551198","https://openalex.org/W2000943029","https://openalex.org/W1578828174","https://openalex.org/W1511249877“]，”ngrams_url“：”https://api.openalex.org/works/W2921909284/ngrams网站“，”“abstract_inverted_index”：{“We”：[0]，“introduce”：[1]，“a”：[2,41,49,98]，“system”：[3,65]，“of”：[4,53,73101]，“monadic”：[5]，“affine”：[6]，“size”：[7,13]，“types”：[8,54]，“which”：[9,44]，“substructively”：[10]，“generalizes”：[11]，“communiversal”：[12]，“type”：[14]，“and”：[15]，“允许”：[16]，“in”：[17]，“this”：[18]，“way”：[19,82]，“to”：[20,39,69,87]，“capture”：[21]概率”：[22]，“高阶”：[23]，“程序”：[24,76,84]，“that”：[25]，“terminate”：[26]，“几乎”：[27,89]，“当然”。“：[28]，“前进”：[29]，“超越”：[30]，“普通”：[31]，“强大”：[32]，“规范化”：[33]，“没有”：[34,48,57]，“失去”：[35]，“健全”：[36]，“转身”：[37]，“走出”：[38]，“成为”：[40,46,88]，“困难”：[42]，“任务”：[43]，“不能”：[45]，“完成”：[47]，“更丰富”：[50]，“定量”：[51]，“概念”：[52]，“但”：[55,96]，“也”：[56]，“强制”：[58]，“一些”：[59]，“亲和力“：[60]，”约束。“：[61]，”The“：[62，81]，”proposed“：[63]，”type“：[64，70]，”is“：[66，92]，”powerful“：[67]，”足够“：[68]，”classic“：[71]，”examples“：[72]，”probability“：[74]，”terminating“：[75，91]，”such“：[77]，”as“：[78]，”random“：[79]，”walk“。“：[80]，”典型“：[83]，”是“：[85]，”证明“：[86]，”肯定“：[90]，”基于“：[93]，”关于“：[94]，”可约性“：[95]，”需要“：[97]，”实质“：[99]，”适应“：[100]，”该“：[102]，”技术。“：[103]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2921909284“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”cited_by_count”：3}，“{”年度“：2021，”citecd_by_count“：8}，”{“年份”：2020，”citesd_by_count“:4}]，”updated_date“：”2024-06-24T14:51:10.772269“，”created_dates“：”2019-03-22“}