{“id”：“https://openalex.org/W2230871873“，”doi“：”https://doi.org/10.1017/096012951500033x“，”title“：”无限eta B\u00f6hm树的无穷lambda演算“，”display_name“：”无穷eta B\ u00f6m树的无限lambda微积分“，”publication_year“：2015，”publitation_date“：”2015-08-17“，”ids“：{”openalex“：”https://openalex.org/W2230871873“，”doi“：”https://doi.org/10.1017/s096012951500033x网址“，”mag“：”2230871873“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500033x网址“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://figuhare.com/articles/journal_contribution/The_infinite_lambda_calculus_of_The_infirite_eta_B_hm_trees/10146920/1/files/18286559.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5077153089“，”display_name“：”Paula Severi“，”orcid“：null｝，”institutions“：[]，”countries“：[]，”is_correresponsing“：false，”raw_author_name“：”Paula Severi“，”raw_affiation_strings“：[]，”affiliations“：[]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5067994951“，”display_name“：”Fer-Jan de Vries“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Fer-Jan de Vries“，”raw _affiliation_strings“：]，”affiliations“：【】}“，”instistitution_assertions“：【]，”countries_distiction_count“：0，”institutions_distices_distition_count”：0，“corresponding_author_ids”：【】，”correspounding _institution_id“：[]，”apc_list“：null，”apc_payed“：nul，”fwci“：0.0，”has_fulltext“：false，”cited_by_count“：0，”引用规范化百分比“：{”value“：0.05，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：false}，”cited_by_percentile_year“：{“min”：0，“max”：66}，“biblio”：{“volume”：“27”，“issue”：“5”，“first_page”：“681”，“last_page”：“733”}，“is_retracted”：假，“is_paratext”：假主主题“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“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.9995，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9912，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9908，”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/infine-set“，”display_name“：”无限集“，”score“：0.49820113}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.446563}]，”concepts“：[{”id“：”https://openalex.org/C2778113609，“wikidata”：https://www.wikidata.org/wiki/Q10897“，”display_name“：”Lambda“，”level“：2，”score“：0.69443583}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.639438}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.51759565}，{”id“：”https://openalex.org/C199879729，“wikidata”：https://www.wikidata.org/wiki/Q205140网址“，”display_name“：”无限集“，”level“：3，”score“：0.49820113}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”解释（哲学）“，”级别“：2，”分数“：0.48859793}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.4830966}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.3729536}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.37195143}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.35738552}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.31848785}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.15854219}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.09245759}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.09123698｝，｛”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”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/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500033x网址“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://figuhare.com/articles/journal_contribution/The_infinite_lambda_calculus_of_The_infirite_eta_B_hm_trees/10146920，“pdf_url”：https://figuhare.com/articles/journal_contribution/The_infinite_lambda_calculus_of_The_infirite_eta_B_hm_trees/10146920/1/files/18286559.pdf，“源”：{“id”：https://openalex.org/S4306400572“，”display_name“：”OPAL(打开@LaTrobe)（拉筹伯大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I196829312“，”“host_organization_name”：“拉筹伯大学”，“host_organization_lineage”：[“https://openalex.org/I196829312“]，”host_organization_lineage_names“：[”拉筹伯大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://figuhare.com/articles/journal_contribution/The_infinite_lambda_calculus_of_The_infirite_eta_B_hm_trees/10146920，“pdf_url”：https://figuhare.com/articles/journal_contribution/The_infinite_lambda_calculus_of_The_infirite_eta_B_hm_trees/10146920/1/files/18286559.pdf，“源”：{“id”：https://openalex.org/S4306400572“，”display_name“：”OPAL(打开@LaTrobe)（拉筹伯大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I196829312“，”“host_organization_name”：“拉筹伯大学”，“host_organization_lineage”：[“https://openalex.org/I196829312“]，”host_organization_lineage_names“：[”拉筹伯大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W105925300","https://openalex.org/W1492737256","https://openalex.org/W1501667845","https://openalex.org/W1833403382","https://openalex.org/W1853037377","https://openalex.org/W1968168625","https://openalex.org/W1976336764网址","https://openalex.org/W1979206410","https://openalex.org/W1999005577","https://openalex.org/W2044758536","https://openalex.org/W2070032247","https://openalex.org/W2084745607","https://openalex.org/W2088941870","https://openalex.org/W2109059723","https://openalex.org/W2126018011","https://openalex.org/W2132638915","https://openalex.org/W2141425500","https://openalex.org/W2144503258","https://openalex.org/W2154273644","https://openalex.org/W2156957301","https://openalex.org/W2157290676","https://openalex.org/W2161975259","https://openalex.org/W2168041414网址","https://openalex.org/W2184268586","https://openalex.org/W2660892142","https://openalex.org/W2912720389","https://openalex.org/W3013667383","https://openalex.org/W41705835","https://openalex.org/W4206525450","https://openalex.org/W4388299483“]，”related_works“：[”https://openalex.org/W91590591","https://openalex.org/W4388567440","https://openalex.org/W4386782890","https://openalex.org/W4327743144","https://openalex.org/W4313320911","https://openalex.org/W3183204001","https://openalex.org/W2966956638","https://openalex.org/W2951695430","https://openalex.org/W2318687609","https://openalex.org/W2145224393“]，”abstract_inverted_index“：{”In“：[0]，”this“：[1]，”paper“：[2]，”we“：[3,14]，”introduce“：[4]，“a”：[5,18,62]，”strong“：[6]，”form“：%7]，”of“：[8,25,44,56,64,71]，”eta“：[9,34,46,58,95]，”reducation“：[10]，”called“：[11]，”et bang“：[12]，”that“：[13,53]，”使用“：[15]，”to“：[16,31,51]，”construct“：[17]，”合流“：[19]，”and“：[20,99]，”normalising“：[21]，”infiniterial“：[22,39]，“lambda”：[23,66,88]，“微积分”：[24]，“which”：[26]，“the”：[27,42,54,65,76,93104]，“normal”：[28]，“forms”：[29]，“corresponse”：[30]，“Barendregt’s”：[32]，“infinite”：[33,45,57,94]，“B\u00f6hm”：[35,47,59,96]，“trees”。，“on”：[41]，“set”：[43,55]，“trees”：[48,60]，“allows”：[49]，“us”：[50]，“prove”：[52]，“is”：[61,70]，“model”：[63,69,97]，“微积分”：[67]，“The”：[68]，“interest”：[72]，“because”：[73]，“it”：[74]，“has”：[75]，“same”：[77105]，“local”：[78]，“structure”：[79]，“as”：[80]，“Scott's”：[81108]，“D”：[82109]，“\u221e”：[83110]，“-models”：[84]，“即”：[85]，“two”：[86]，“有限”：[87]，“术语”：[89]，“是”：[90]，“相等”：[91]，“in”：[92107]，“if”：[98101]，“仅”：[100]，“它们”：[102]，“有”：[103]，“解释”：[106]，“-模型”：[111]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2230871873“，”counts_by_year“：[]，”updated_date“：”2024-09-18T02:22:09.408971“，”created_dates“：”2016-06-24“}“