{“id”：“https://openalex.org/W2912512531“，”doi“：”https://doi.org/10.1016/s0019-9958（86）80047-x“，”title“：”Categorical combinators“，”display_name“：”categorial combinator“，”publication_year“：1986，”publiation_date“：”1986-04-01“，”ids“：{”openalex“：”https://openalex.org/W2912512531“，”doi“：”https://doi.org/10.1016/s0019-9958（86）80047-x“，”mag“：”2912512531“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/s0019-9958（86）80047-x“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210192454“，”display_name“：“信息与控制”，”issn_l“：”0019-9958“，”issn“：[”0019-958“，”1878-2981“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310319955“，”“host_organization_name”：“学术出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310320990","https://openalex.org/P431031955“]，”host_organization_lineage_names“：[”Elsevier BV“，”Academic Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joarl-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：false，“oa_status”：“closed”，“oa_url”：空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5064315130“，”display_name“：”Pierre-Louis Curien“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I204730241“，”display_name“：”Universit\u00e9 Paris Cit\u00e8“，”ror“：”https://ror.org/05f82e368“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I204730241“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”P.-L.Curien“，”raw _ afiliation_strings“：[“CNRS-Universit\u00e9 Paris VII，LITP，Tour 55\u201356 ler \u00e9tage，3 Place Jussieu，75221 Paris Cedex 05，France”]，“afiliations”：[{“raw_affiliation_string”：“CNRS-Universit\u00e9 Paris VII，LITP，Tour 55\u201356 ler\u00e9tage，3 Place Jussieu，75221 Paris Cedex 05，France“，“institution_ids”：[“https://openalex.org/I204730241","https://openalex.org/I1294671590“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5064315130“]，”对应的机构ID“：[”https://openalex.org/I204730241","https://openalex.org/I1294671590“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：3.024，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：52，”citecd_by_percentile_year“：{”min“：94，”max“：95}，”biblio“：{volume“：69”，“issue”：“1-3”，“first_page”：“188”，“last_page”：“254”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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.9993，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9975，”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/description-logics网站“，”display_name“：”Description Logics“，”score“：0.538287}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.515326｝，｛”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.506328}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.5054}]，”concepts“：[{”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.93487906}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.48696193}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.47464567}，{”id“：”https://openalex.org/C5274069，“wikidata”：https://www.wikidata.org/wiki/Q2285707“，”display_name“：”类别变量“，”level“：2，”score“：0.4708654}，{”id“：”https://openalex.org/C85343465，“wikidata”：https://www.wikidata.org/wiki/Q975734“，”display_name“：”Curry\u2013Howard通信“，”level“：3，”score“：0.46290314}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.45631748}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076网址“，”display_name“：”函数编程“，”level“：2，”score“：0.43157881}，{”id“：”https://openalex.org/C171032842，“wikidata”：https://www.wikidata.org/wiki/Q1725874“，”display_name“：”笛卡尔闭合范畴“，”level“：2，”score“：0.4195583}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段上的代数“，”级别“：2，”分数“：0.3501987}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037网址“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.32052797}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.30066597}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.2457655}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.1659731}，{”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/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/s0019-9958（86）80047-x“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210192454“，”display_name“：“信息与控制”，”issn_l“：”0019-9958“，”issn“：[”0019-958“，”1878-2981“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031955“，”“host_organization_name”：“学术出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310320990","https://openalex.org/P4310319955“]，”host_organization_lineage_names“：[”Elsevier BV“，”Academic Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：【]，“referenced_works_count”：25，“referrenced_works”：https://openalex.org/W1514119099","https://openalex.org/W1966330762","https://openalex.org/W1972921902","https://openalex.org/W1978840985","https://openalex.org/W1978856319","https://openalex.org/W2007512721","https://openalex.org/W2042865299","https://openalex.org/W2049362364","https://openalex.org/W2050289409","https://openalex.org/W2063068243","https://openalex.org/W2064236106","https://openalex.org/W2074769340","https://openalex.org/W2083682852","https://openalex.org/W2084776839","https://openalex.org/W2113757735","https://openalex.org/W2120713972","https://openalex.org/W2129442368","https://openalex.org/W2154273644","https://openalex.org/W2172307690","https://openalex.org/W2568721247","https://openalex.org/W2582948134","https://openalex.org/W4211265583","https://openalex.org/W4861723","https://openalex.org/W569515957","https://openalex.org/W649173217“]，”related_works“：[”https://openalex.org/W2954585109","https://openalex.org/W2942236696","https://openalex.org/W2752311799","https://openalex.org/W2612830858","https://openalex.org/W2146437601","https://openalex.org/W1998289751","https://openalex.org/W1982776852","https://openalex.org/W1826852590","https://openalex.org/W1571094673","https://openalex.org/W1487768293“]，”ngrams_url“：”https://api.openalex.org/works/W2912512531/ngrams网站“，”abstract_inverted_index“：｛”Our“：[0,71184]，”main“：[1]，”aim“：[2]，”is“：[3,56,74120151163195]，”to“：[410521313514173179]，”present“：[5]，”the“：[6,666142158166190]，”connection“：[7138]，”between“：[8，30]，”\u03bb calculus“：[9，38100]，”and“：[10，18,37,42,46,79108132176222232]，”笛卡尔“：[11,88154]，“已关闭”：[12,89155]，“categories“：[13,90]，”both“：[14]，”in“：[15182216224]，”an“：[16]，”untyped“：[17,85]，”pure“：[19]，”syntaxic“：[20,27185]，”setting。“：[21]，”更多“：[22]，”特别“：[23]，”我们“：[24，32]，”建立“：[25]，”a“：[2615218210217]，”等价“：[28]，”定理“：[29]，”什么“：[31]，”调用“：[33]，”分类“：[34117148]，”组合“：[35，62，72118126149]，”逻辑“：[36，7319127150]，”与“：[39，44，51]，”显式“：[40167]，”乘积“：[41]，“投影，”：[43]，“\u03b2”：[45]，“\u03b7-rules“：[47]，”as“：[48,50197214]，”well“：[49]，”surpjective“：[52]，”pairing.“：[53]，”\u201cCombinative“：[54]，”logic\u201d“：[55]，”of“：[57160169204]，”course“：[58]，”inspired“：59]，”by“：[60,83165]，”Curry’s“：[61]，”逻辑“：[63]，”based“：64208]，”on“：[6509292]28]，“众所周知”：[67]，“s”：[68]，“K”：[69]，“I.”：[70]，“\u201c分类\u201d”：[75]，“因为“：[76]，“its”：[77174]，“combinator”：[78103]，“rules”：[80]，“are”：[81]，“getated”：[82]，“extracting”：+84]，“information”：[86]，“from”：[87]，“looking”：[91]，“at”：[92189]，“arrows”：[93]，“only”：[94]，“thus”：[95]，“forging”：[96]，“about”：[97]，“objects”）。“：[98]，”编译“：[99]，”转换为“：[101]，”这些“：[102]，”发生“：[104]，”被“：[106]，”自然“：[107]，”挑衅“：[109]，”仅“：[110]，”n“：[11111 3]，”日志“：[112]，”代码“：[114]，”扩展。“：[115]，“此外”：[116]，“完全”：[121]，“忠实”：[122]，“\u03b2-还原”：[124]，“其中”：[125146157]，“需要”：[128]，“附加”：[129]，“相当”：[130]，“复杂”：[131]，“非自然”：[133]，“公理”：[134]，“是”：[136]，“The”：[137193]，“easyly”：[139]，“extends”：[140]，“对应”：[143]，“类型化”“：[144147]，”calculi“，：[145]，”free“：[153]，”category“：[156]，”concept“：[159]，”terminal“：[161]，”object“：[162]，”replaced“：[164]，”manipaling“：[168]，”application“：[170]，”（a“：[171]，”function“：[172]，”argument）“：[175]，”coupling“：[177]，“（arguments”：[178]，“build”：[180]，”datas“：[181]，”products）。“：[183]，”等价物“：[186188]，”诱导“：[187]，”模型“：[191]，”级别。“：[192]，“论文”：[194219]，“意图”：[196]，“数学”：[199]，“基础”：[200]，“用于”：[201]，“开发”：[202]，“实现”：[203]，“函数”：[205]，“编程”：[206]，“语言”：[207]，“\u201ccategorial”：[211]，“抽象”：[212]，“机器，\u201d”：[213]，“已开发”：[215]，“同伴”：[218]，“（库西诺，”：[220]，“居里”，：[221]，“莫尼”，：223]，“\u201cProceedings，“：[225]，”ACM“：[226]，”Conf.“：[227]，”Functional“：[229]，”Programming“：[230]，”Languages“：[231]，”Computer“：[233]，”Architecture，\u201d“：[234]，”Nancy“：[235]，”1985）。“：[236]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2912512531“，”counts_by_year“：[{”year“:2023，”cited_by_count“：1}，{”year“：2022，”cited_by_count”：1}，{“year”：2021，”citecd_by_count“：2}，”{“year”：2019，”citted_by_count“:4}，“year“:2017，”citesd_by-count“:3}]，”updated_date“：”2024-06-21T10:49.09.403184“，”created_date:“2019-02-21”}