{“id”：“https://openalex.org/W1582688644“，”doi“：”https://doi.org/10.1007/3-540-54233-7_142“，”title“：”带surpjective对和terminal object的\u03bb-calculus的汇合约简“，”display_name“：”带有surpjectified对和ternial objects的\u02bb-calpus的汇聚约简“。”publication_year“：1991，”publication_date“：”1991-01-01“，”ids“：{”openalex“：”https://openalex.org/W1582688644“，”doi“：”https://doi.org/10.1007/3-540-54233-7_142“，”mag“：”1582688644“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-54233-7_142“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5064315130“，”display_name“：”Pierre Louis Curien“，”orcid“：”https://orcid.org/0000-0001-7407-4668“｝，”机构“：[｛”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“：”Pierre-Louis Curien“，”raw _affiliation_strings“：[“LIENS（CNRS URA 1347）and Dipartitmento di Informatica”]，“affiliations”：[{“raw_affiliation _string”：“LIENS（CNRS URI 1347）andDipartitiono di Infoatica”，“institution_ids”：[“https://openalex.org/I1294671590“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5087991671“，”display_name“：”Roberto Di Cosmo“，”orcid“：”https://orcid.org/0000-0002-7493-5349“｝，”机构“：[｛”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“：”Roberto Di Cosmo“，”raw _affiliation_strings“：[“LIENS（CNRS URA 1347）and Dipartitmento Di Informatica”]，“affiliations”：[{“raw_affilition_string”：“LIENS（CNRS ULA 1347https://openalex.org/I1294671590“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：7.696，“has_fulltext”：true，“fulltext_o”rigin“：”ngrams“，”cited_by_count“：31，”引用_规范化_percentile“：{”value“：0.892051，”is_in_top_1_percent“：false，”is_in_top_10_percents“：false}，”cited_by_percentile_year“：{“min”：89，“max”：90}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“291”，“last_page”：“302”}，‘is_retracted’：false、“is_paratext”：false；“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9992，“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.9992，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9888，”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/surjective-function网站“，”display_name“：”surpjective function“，”score“：0.8502567}，{”id“：”https://openalex.org/keywords/confluence网站“，”display_name“：”Confluence“，”score“：0.6447246}，{”id“：”https://openalex.org/keywords/cartesian-closed-category网站“，”display_name“：”笛卡尔闭合类别“，”score“：0.6229128}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.536238}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.504399}，{”id“：”https://openalex.org/keywords/subtyping“，”display_name“：”Subtyping“，”score“：0.5012808}，{”id“：”https://openalex.org/keywords/morphism（https://openalex.org/keywords/morphism）“，”display_name“：”Morphism“，”score“：0.47382128}]，”concepts“：[{”id“：”https://openalex.org/C119238805，“wikidata”：https://www.wikidata.org/wiki/Q229102“，”display_name“：”Surjective function“，”level“：2，”score“：0.8502567｝，｛”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.8034625}，{”id“：”https://openalex.org/C77906462，“wikidata”：https://www.wikidata.org/wiki/Q1140902“，”display_name“：”Confluence“，”level“：2，”score“：0.6447246}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.62392145}，{”id“：”https://openalex.org/C171032842，“wikidata”：https://www.wikidata.org/wiki/Q1725874“，”display_name“：”笛卡尔闭合类别“，”level“：2，”score“：0.6229128}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.5596527}，{”id“：”https://openalex.org/C83852419，“wikidata”：https://www.wikidata.org/wiki/Q2713292“，”display_name“：”Subtyping“，”level“：2，”score“：0.5012808}，{”id“：”https://openalex.org/C137212723，“wikidata”：https://www.wikidata.org/wiki/Q1948412“，”display_name“：”Morphism“，”level“：2，”score“：0.47382128}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.45482495}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.4444812}，{”id“：”https://openalex.org/C14103023，“wikidata”：https://www.wikidata.org/wiki/Q11681459“，”display_name“：”Pairing“，”level“：3，”score“：0.43067995}，{”id“：”https://openalex.org/C2779664074，“wikidata”：https://www.wikidata.org/wiki/Q3518405“，”display_name“：”终端（电信）“，”level“：2，”score“：0.4289642}，{”id“：”https://openalex.org/C111335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.42843843}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.40974888}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4073371}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.3249262}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3056089}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.245608}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128（网址：https://www.wikidata.org/wiki/Q12128）“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C54101563，“wikidata”：https://www.wikidata.org/wiki/Q124131“，”display_name“：”超导“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-54233-7_142“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“id”：”https://metadata.un.org/sdg/6“，”score“：0.42，”display_name“：”清洁用水和卫生“}]，”grants“：[]，”datasets“：[]，”versions“：[].，”referenced_works_count“：13，”referrenced_works“：【”https://openalex.org/W1582688644","https://openalex.org/W159715351","https://openalex.org/W1981838174","https://openalex.org/W2009987765","https://openalex.org/W2032563292","https://openalex.org/W2049362364","https://openalex.org/W2053672707","https://openalex.org/W2064236106","https://openalex.org/W2081822152","https://openalex.org/W2095553492","https://openalex.org/W2149837936","https://openalex.org/W2166482687","https://openalex.org/W27254708“]，”related_works“：[”https://openalex.org/W4301263716","https://openalex.org/W3172122168","https://openalex.org/W2964278197","https://openalex.org/W2949681554","https://openalex.org/W27254708","https://openalex.org/W2117533875","https://openalex.org/W2089565009","https://openalex.org/W2063805449","https://openalex.org/W1566334111","https://openalex.org/W1523645759“]，”abstract_inverted_index“：{”We“：[0]，”exhibit“：[1]，”confluent“：[2,43,49,81]，”and“：[3,20,48,76,84127]，”effectively“：[4]，”weakly“：/5]，”normaling“：[6]，”（因此“：[7]，”decitable）“：[8]，”rewriting“：[29,82]，”systems“：[10]，”for“：[11,21]，”the“：[12,36,45,51,56,61,65,69，86,90,94121129]，“完整”：[13,95]，“等式”：[14,96]，“理论”：[15,97]，“基础”：[16]，“cartesian”：[17]，“closed”：[18]，“categories”：[19]，“polymorphic”：[22104]，“extensions”：[23]，“of”：[24,58,68,93,98123131]，“it.”：[25]，“The”：[26]，“\u03bb-calculus”：[27136]，“extended”：[28,72102]，“with”：[29,73103137]，“surpjective”：[30,74]，“pairing”：[31,75]，“has”：[32]，“已被“：[33]，“学习良好”：[34]，“in”：[35,44,50133]，”last“：[37]，”two“：[38]，“数十年。”：[39]，“It”：[40]，“is”：[41,64,85]，“not”：[42]，“untyped”：[46]，“case”，“：[47]，“typeed”：[52135]，“case.”：【53】，“But”：【54】，“to”：【55，89120128】，“best”：【57】，“our”：〔59118〕，“knowledge”：【60】，“present”：〔62〕，“work”：/63】，“first”：[66，87]，“treatment”：【67]，“lambda”：[70]，“calculus”：[71]，“terminal”：[77]，“object”：[78]，“via”：[79]，“a”：[00134]，“system”，：[83]，“解决方案”：[88]，“可判定性”：[91130]，“问题”：[92]，“笛卡尔”：[99]，“封闭”：[100]，“类别”：[101]，“类型”：[105]，“我们的”：[106]，“方法”：[107]，“产量”：[108]，“保守性”：[109]，“结果”：[11019]，“作为”：[111]，“好。”：[112]，“In”：[113]，“分离”：[114]，“论文”：[115]，“we”：[116]，“应用”：[117]，“研究”：[122]，“可证明”：[124]，“类型”：[125]，“同构”：[126]，“等式”：[132]，“子类型”：[138]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W1582688644“，”counts_by_year“：[{”年“：2018，”cited_by_count“：1}]，”更新日期“：”2024-09-26T12:45:52.795350“，”创建日期“：“2016-06-24”}