{“id”：“https://openalex.org/W1980508492“，”doi“：”https://doi.org/10.1051/ita/2012005“，”title“：”简单lambda术语并不总是简单“，”display_name“：”简单lambda术语并不总是简单“，”publication_year“：2012，”publication_date“：”2012-02-23“，”ids“：｛”openalex“：”https://openalex.org/W1980508492“，”doi“：”https://doi.org/10.1051/ita/2012005“，”mag“：”1980508492“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1051/ita/2012005“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S6941720网址“，”display_name“：”RAIRO-理论信息学与应用“，”issn_l“：”0988-3754“，”isn“：[”0988~3754“、”1290-385X“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310319748“，”“host_organization_name”：“EDP Sciences”，“host_ordanization_lineage”：[“https://openalex.org/P4310319748“]，”host_organization_lineage_names“：[”EDP Sciences“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nul，“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://iris.unive.it/bitstream/10278/36003/1/Easy_lambda-terms-07-01-12.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5101673026“，”display_name“：”Alberto Carraro“，”orcid“：”https://orcid.org/0000-0003-4274-4035}，“机构”：[{“id”：https://openalex.org/I149461666“，”display_name“：”Ca’Foscari University of Venice“，”ror“：”https://ror.org/04yzxz566“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I149461666“]}，{”id“：”https://openalex.org/I169173203“，”display_name“：”D\u00e9l\u00e9ration Paris 7“，”ror“：”https://ror.org/00bw5n526“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I154526488","https://openalex.org/I169173203“]}，{”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“]}]，”国家“：[”FR“，”IT“]，”is_corresponding“：false，”raw_author_name“：”Alberto Carraro“，”raw _ afiliation_strings“：[“DAIS，University \ u00e0 Ca \ u2019 Foscari Venezia，via Torino 155，30172 Mestre，Italy”，“PPS，University\u00e9 Paris Didero，175 rue de Chevaleret，75013 Paris，France”]，“affiliations”：[{“raw _ ffiliation_string”：“DAIS，University\u00e0 Ca\u2019 Foscari Venezia，via Torino 155，30172 Mestre，意大利“，“institution_ids”：[“https://openalex.org/I149461666“]}，{”raw_affiliation_string“：”PPS，University\u00e9 Paris Diderot，175 rue de Chevaleret，75013 Paris，France“，”institution_ids“：[”https://openalex.org/I169173203","https://openalex.org/I204730241“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5064465385“，”display_name“：”Antonino Salibra“，”orcid“：”https://orcid.org/0000-0001-6552-2561}，“机构”：[{“id”：https://openalex.org/I149461666“，”display_name“：”Ca’Foscari University of Venice“，”ror“：”https://ror.org/04yzxz566“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I149461666“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Antonino Salibra“，”raw _affiliation_strings“：[“DAIS，University \u00e0 Ca\u2019 Foscari Venezia，via Torino 155，30172 Mestre，Italy”]，”从属关系“：[{”raw _affiliation_string“：”DAIS，university \u 00e0 Cal 2019 Foscori Venesia，via-Torino 255，30172-Mestre，Italia“，”institution_ids“：[”https://openalex.org/I149461666“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：3，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：null，“apc_payd”：nul，“fwci”：0.819，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count）：6，”citation_normalized_percentile“：{”value“：0.8580 23，“is_in_top_1_percent”：假，“is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：81，”max“：83}，“biblio”：{“volume”：“46”，“issue”：“2”，“first_page”：“291”，“last_page”：”314“}”，“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.9973，”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/T10181“，”display_name“：”统计机器翻译与自然语言处理“，”score“：0.9854，”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/recursively-enumerable-set“，”display_name“：”递归枚举集“，”score“：0.50357074}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.502793｝，｛”id“：”https://openalex.org/keywords/complement网站“，”display_name“：”补音（音乐）“，”score“：0.4900843}]，”concepts“：[{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.8754785}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.75670147}，{”id“：”https://openalex.org/C106131492，“wikidata”：https://www.wikidata.org/wiki/Q3072260“，”display_name“：”筛选器（信号处理）“，”level“：2，”score“：0.6522741}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.5699856}，{”id“：”https://openalex.org/C2776436953，“wikidata”：https://www.wikidata.org/wiki/Q5163215“，”display_name“：”一致性（知识库）“，”level“：2，”score“：0.5410148}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”解释（哲学）“，”级别“：2，”分数“：0.5325004}，{”id“：”https://openalex.org/C52703633，“wikidata”：https://www.wikidata.org/wiki/Q676835“，”display_name“：”递归枚举集“，”level“：3，”score“：0.50357074}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.49566782}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.49098924}，{”id“：”https://openalex.org/C112313634，“wikidata”：https://www.wikidata.org/wiki/Q7886648“，”display_name“：”补音（音乐）“，”level“：5，”score“：0.4900843}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.47216484｝，｛”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.45156482}，{”id“：”https://openalex.org/C203702658，“wikidata”：https://www.wikidata.org/wiki/Q1073063“，”display_name“：”递归枚举语言“，”level“：2，”score“：0.43907925}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.41486922}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.36962968}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.10569039}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”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/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C188082640，“wikidata”：https://www.wikidata.org/wiki/Q1780899“，”display_name“：”互补“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C127716648，“wikidata”：https://www.wikidata.org/wiki/Q104053“，”display_name“：”表型“，”等级“：3，”分数“：0.0}，{”id“：”https://openalex.org/C31972630，“wikidata”：https://www.wikidata.org/wiki/Q844240“，”display_name“：”计算机视觉“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1051/ita/2012005“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S6941720网址“，”display_name“：”RAIRO-理论信息学与应用“，”issn_l“：”0988-3754“，”isn“：[”0988~3754“、”1290-385X“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310319748“，”“host_organization_name”：“EDP Sciences”，“host_ordanization_lineage”：[“https://openalex.org/P4310319748“]，”host_organization_lineage_names“：[”EDP Sciences“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hdl.handle.net/10278/36003（网址：https://hdl.handle.net/10278/36003），“pdf_url”：https://iris.unive.it/bitstream/10278/36003/1/Easy_lambda-terms-07-01-12.pdf，“源”：{“id”：https://openalex.org/S4306402336“，”display_name“：”ARCA（University\u00e0 Ca’Foscari Venezia）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I149461666“，”“host_organization_name”：“Ca’Foscari University of Venice”，“host_ordanization_lineage”：[“https://openalex.org/I149461666“]，”host_organization_lineage_names“：[”Ca’Foscari University of Venice“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”http://www.numdam.org/articles/10.1051/ita/2012005/，“pdf_url”：http://www.numdam.org/item/10.1051/ita/2012005.pdf，“源”：{“id”：https://openalex.org/S4306402264“，”display_name“：”法国数字数学图书馆（Numdam）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I70900168“，”“host_organization_name”：“University\u00e9 Savoie Mont Blanc”，“host_organization_lineage”：[“https://openalex.org/I70900168“]，”host_organization_lineage_names“：[”University\u00e9 Savoie Mont Blanc“]，“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://hdl.handle.net/10278/36003，“pdf_url”：https://iris.unive.it/bitstream/10278/36003/1/Easy_lambda-terms-07-01-12.pdf，“源”：{“id”：https://openalex.org/S4306402336“，”display_name“：”ARCA（University\u00e0 Ca’Foscari Venezia）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I149461666“，”“host_organization_name”：“Ca’Foscari University of Venice”，“host_ordanization_lineage”：[“https://openalex.org/I149461666“]，”host_organization_lineage_names“：[”Ca’Foscari University of Venice“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1134781054","https://openalex.org/W128738456","https://openalex.org/W1487107818","https://openalex.org/W1490461333","https://openalex.org/W1510393421","https://openalex.org/W1519488307","https://openalex.org/W1530168704","https://openalex.org/W1544564247","https://openalex.org/W1551782573","https://openalex.org/W1646840510","https://openalex.org/W1967121513","https://openalex.org/W1970227944网址","https://openalex.org/W1973343695","https://openalex.org/W1974315746","https://openalex.org/W1978856319","https://openalex.org/W1991093042","https://openalex.org/W2002382232","https://openalex.org/W2023525505","https://openalex.org/W2032766180","https://openalex.org/W2043749339","https://openalex.org/W2050289409","https://openalex.org/W2066155850","https://openalex.org/W2070032247","https://openalex.org/W2073877447","https://openalex.org/W2074026916","https://openalex.org/W2085670481","https://openalex.org/W2093541252","https://openalex.org/W2101777182","https://openalex.org/W2119310054","https://openalex.org/W2131435036","https://openalex.org/W2136240238","https://openalex.org/W2154273644","https://openalex.org/W2516185740","https://openalex.org/W2764786511","https://openalex.org/W3003300928","https://openalex.org/W30183370","https://openalex.org/W3161889599","https://openalex.org/W4243711577“]，”related_works“：[”https://openalex.org/W4249600134","https://openalex.org/W2757989085","https://openalex.org/W2135152748","https://openalex.org/W2132512348","https://openalex.org/W2094468224","https://openalex.org/W2037833610","https://openalex.org/W1988158368","https://openalex.org/W1980641386","https://openalex.org/W1973052363","https://openalex.org/W1972481159“]，”abstract_inverted_index“：{”A“：[0]，”closed“：[1,10,79]，”\u03bb-term“：[2]，”M“：[3,18,75100]，”is“：[4,21,83]，”easy“：[5,73]，”if“：⑹，”for“：[7]，”any“：[8]，”other“：/9]，”term“：[11,74,80]，”N“：[12,81]，”the“：[13,38,64,97114126]，”lamb da“：[14]，”理论“：[15]，”生成“：[16]，”由“：[17]，”=“：[19]，”N“：[20]，”一致。“：[22]，”最近，“：[23]，”it“：[24,82]，”有“：[25]，”被“：[26]，”介绍“：[27]，”a“：[28，71，88，9129134]，”一般“：[29]，”技术“：[30]，”到“：[31，50，85]，”证明“：[32，51]，”容易性“：[34，45，47106109]，”of“：[35，41，56，60，66，99117133138]，”\u03bb术语“：[36]，”通过“：[37]，”语义“：[39]，”概念“：[40]，”简单“：[42,72108142]，“容易。“：[43]，“简单”：[44]，“暗示”：[46107]，“和”：[48,76101]，“允许”：[49]，“一致性”：[52]，“结果”：[53]，“通过”：[54]，“构造”：[55]，“合适”：[57]，“过滤器”：[58,93]，“模型”：[59]，“\u03bb-calculus”：[61]，“生活”：[62]，“in”：[63113]，“类别”：[65]，“完整”：[67]，”“：[68]，”订单：“：[69]，”给定“：[70]，”an“：[77]，”任意“：[78]，”可能”：[84]，“构建”：[86]，“（in”：[87]，“规范”：[89]，“方式）”：[90]，“非平凡”：[92]，“模型”：[94]，“其中”：[95]，“等同”：[96]，“解释”：[98]，“N.”：[102]，“The”：[103]，“问题”：[104127]，“是否”：[105]，“构成”：[110]，“难题”：[111]，“19”：[112]，“TLCA”：[115]，“列表”：[116]，“打开”：[118]，“问题。“：[119]，”In“：[120]，”this“：[121]，”paper“：[122]，”we“：/123]，”negative“：[124]，”answer“：%125]，”provided“：[128]，”non-empty“：[130]，”co-r.e.“：[131]，”（补码“：[132]，”递归“：[135]，”enumerable）“：[136]，”set“：[137]，”easy，“：[139143]，”but“but”：[140]，”not“：141]，”\u03bb-t-t-t呃。“：[144]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1980508492“，”counts_by_year“：[{”year“:2022，”cited_by_count“：1}，{”year“：2021，”cited_by_count”：1}，{“year”：2018，”citecd_by_count“：1}，”{“year”：2016，”citesd_by_count“:1}”，{年“：2014，”citted_by-count“:1}，“创建日期”：“2016-06-24”}