{“id”：“https://openalex.org/W1992452788“，”doi“：”https://doi.org/10.1145/226643.226675“，”title“：”显式替换的弱计算和强计算的汇合性质“，”display_name“：”明式替换的强计算和弱计算的汇聚特性“，”publication_year“：1996，”publitation_date“：”1996-03-01“，”ids“：{”openalex“：”https://openalex.org/W1992452788“，”doi“：”https://doi.org/10.1145/226643.226675“，”mag“：”1992452788“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/226643.226675，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/226643.226675，“源”：{“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“：[”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://dl.acm.org/doi/pdf/10.1145/226643.226675“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5064315130“，”display_name“：”Pierre-Louis Curien“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I29607241“，”display_name“：”\u00c9cole Normale Sup\u00e9rieure-PSL“，”ror“：”https://ror.org/05a0dhs15“，”country_code“：”FR“，”type“：”其他“，”沿袭“：[”https://openalex.org/I29607241“]}]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Pierre-Louis Curien“，”raw _ afiliation_strings“：【”法国巴黎高等师范学院\u00b4rieure“】，”affiliations“：[{”raw _affiliation_string“：”法国巴黎师范学院\u 00b4lieure“，”institution_ids“：[“”https://openalex.org/I29607241“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5087963362“，”display_name“：”Th\u00e9r\u00e8se Hardin“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I124158823“，”“display_name”：“国家艺术博物馆（Conservatoire National des Arts et M\u00e9tiers）”，“错误”：“https://ror.org/0175hh227“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I124158823","https://openalex.org/I4210134562“]}，{”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“：”Th\u00e9r\u00e8se Hardin“，”raw _affiliation_strings“：[“INRIA，Rocquencourt，France；and Conservatoire National des Arts et Me\u00b4tiers，Paris，France”]，“affiliations”：[{“raw_affiliation _string”：“INRII，Rocquencourt；和法国巴黎国家艺术与艺术学院”，“institution_ids”：[“https://openalex.org/I124158823","https://openalex.org/I1326498283“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5034773475“，”display_name“：”Jean-Jacques L\u00e9vy“，”orcid“：null}，”institutions“：[{”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“：”Jean-Jacques L\u00e9vy“，”raw _ afiliation_strings“：[“INRIA，Rocquencourt，France”]，“affiliations”：[{“raw_affiliation_strong”：“INRIA，Rocquiencourt，Frence”，“institution_ids”：[”https://openalex.org/I1326498283“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“fwci”：15.526，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：{“卷”：“43”，“问题”：“2”，“第一页”：“362”last_page“：”397“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9989，”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/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9989，”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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9976，”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.9966，”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/keywords/combinatorics-on-words（https://openalex.org/keywords/combinatorics-on-words组合词）“，”display_name“：”单词组合学“，”score“：0.49965}]，”concepts“：[{”id“：”https://openalex.org/C77906462，“wikidata”：https://www.wikidata.org/wiki/Q1140902“，”display_name“：”Confluence“，”level“：2，”score“：0.8516736}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037网址“，”“display_name”“：”“微积分（牙科）”“，”级别“：2，”分数“：0.6331489}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.60205424}，{”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.5133299}，{”id“：”https://openalex.org/C5274069，“wikidata”：https://www.wikidata.org/wiki/Q2285707“，”display_name“：”类别变量“，”level“：2，”score“：0.5002754}，{”id“：”https://openalex.org/C2780990831，“wikidata”：https://www.wikidata.org/wiki/Q319141“，”display_name“：”推测“，”级别“：2，”分数“：0.4941037}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.33641708}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.329131｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.19297221}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190（网址：https://www.wikidata.org/wiki/Q11190）“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”Programming language“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：4，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/226643.226675，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/226643.226675，“源”：{“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}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/inia-00077189/file/RR-1617.pdf，“pdf_url”：https://hal.inia.fr/inia-00077189/file/RR-1617.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.inia.fr/inia-00077189/document，“pdf_url”：https://hal.inia.fr/inia-00077189/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://inria.hal.science/inia-00077189，“pdf_url”：https://inria.hal.science/inria-00077189/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}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/226643.226675，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/226643.226675，“源”：{“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“：【】，”dataset“：【]，”versions“：【〕，”referenced_works_count“：13，”https://openalex.org/W1963658586","https://openalex.org/W1979101142","https://openalex.org/W2022873112","https://openalex.org/W2025170645","https://openalex.org/W2027836624","https://openalex.org/W2049362364","https://openalex.org/W2077462786","https://openalex.org/W2095553492","https://openalex.org/W2102549858","https://openalex.org/W2130837381","https://openalex.org/W2568721247","https://openalex.org/W4234562927","https://openalex.org/W4236324644“]，”related_works“：[”https://openalex.org/W4307413753","https://openalex.org/W3149147109","https://openalex.org/W2756261468","https://openalex.org/W2491573813","https://openalex.org/W2350400650","https://openalex.org/W2090659419","https://openalex.org/W2026765907","https://openalex.org/W1975604118","https://openalex.org/W158305784","https://openalex.org/W119766800“]，”ngrams_url“：”https://api.openalex.org/works/W1992452788/ngrams“，”abstract_inverted_index“：｛”分类“：[0]，”组合子“：[1]，”[Curien“：[2]，”1986/1993；“：[3]，”Hardin“：[4，14，64，69130]，”1989；“：[5]，”横口“：[6]，”1989]“：[7]，”和“：[8，15，42，68，70131]，”更多“：[9]，”最近“：[10]，”\u03bb\u03c3微积分“：[111101]，”[Abadi“：[12]，“1991；”：[13]，“Le\u00b4vy”：[16,71132]，“1989]，”：[17]，“曾经”：[18]，“曾经”：[19]，“引入了“：[20]，”to“：[21,61]，”provide“：[22]，”an“：[23]，”explicit“：[24]，”treatment“：[25]，”of“：[26,36,83122]，”substitutions“：[27]，”in“：[28,39,98129]，”the“：[29,34,57,74125136]，”\u03bb-calculus。“：[30]，“我们”：[31,77,93]，“重新引入”：[32]，“这里”：[33135]，“成分”：[35]，“这些”：[37]，“计算”：[38]，“a”：[40,46,79,95119]，“自包含”：[41]，“逐步”：[43]，“方式”：[44]，“with”：[45,59]，“特殊”：[47]，“强调”：[48]，“on”：[49108]，“汇合”：[50]，“属性。“：[51]，”The“：[52]，”main“：[53]，”new“：[54]，”results“：[55]，”paper“：[58]，”尊重“：[60]，”Curien“：[62]，”1986/1993]，“：[63]，”[1989]，“，”：[65133]，“Abadi”：[66,99]，“[1991]，”：/67]，“1989]”：[72]，“are”：[73]，“following:”：[75]，“（1）”：[76]，“present“：[78]，”合流“：[80104107120137]，”弱“：[81]，”微积分“：[82]，”替换“：[84]，”where“：[85]，”no“：[86]，”变量“：[87]，”冲突“：[88]，”可以“：[89]，”被“：[90]，”恐惧；“：[91]，”（2）“：[92]，”求解“：[94]，”猜想“：[96]，”提出“：[97]，”[1991]：“：[100]，”是“：[102106115]，”不是“：[103]，”“（it”：[105]，“ground”：[109]，“terms”：[110]，“only）。“：[111]，”This“：[112]，”不幸“：[113]，”result“：[114]，”\u201crepaired\u201d“：[116]，”by“：[117]，”presentating“：[118]，”version“：[121]，”\ u03bb\u03c3-微积分“：[123]，”named“：/124]，”\u 03bb“：/126]，”Env“：[127]，”-caldulus“：[128]，”caldulus微积分。“：[138]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1992452788“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：5}，{“年度”：2021，”“cited_by_cunt”：2}，}“年份“：2020，”“cited_by-count”“：1}，”“年份”“：2019，”“：2014，”cited_by_count“：5}，{“年份”：2013，”cited_by_count，“updated_date”：“2024-06-22T16:50:11.452417”，“创建日期”：“2016-06-24”}