{“id”：“https://openalex.org/W2094079428“，”doi“：”https://doi.org/10.1137/s0097539794275860“，”title“：”Concurrent$\\lambda$-Calculus的过滤器模型“，”display_name“：”Concurrent$\\lambda$-Caluclus的过滤模型“，“publication_year”：1998，“publiction_date”：“1998-10-01”，“ids”：{“openalex”：“https://openalex.org/W2094079428“，”doi“：”https://doi.org/10.1137/s0097539794275860“，”mag“：”2094079428“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1137/s0097539794275860“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S153560523“，”display_name“：”SIAM计算日志“，”issn_l“：”0097-5397“，”isn“：[”0097-50397“、”1095-7111“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320508“，”“host_organization_name”：“工业与应用数学学会”，“host_ordanization_lineage”：[“https://openalex.org/P4310320508“]，”host_organization_lineage_names“：[”工业和应用数学学会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5053585862“，”display_name“：”Mariangiola Dezani-Ciancaglini“，”orcid“：”https://orcid.org/0000-0002-3341-0941“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Mariangiola Dezani-Ciancaglini“，”raw关联字符串“：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5020561481“，”display_name“：”Ugo de \u2019Ligoro“，”orcid“：”https://orcid.org/0000-0003-4609-2783“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Ugo de'Liguoro“，”raw关联字符串“：[]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5077196285“，”display_name“：”Adolfo Piperno“，”orcid“：null｝，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“：”Adolfo Piperno“，”raw_affiation_strings“：[]｝]，”countries_dstinct_count“：0，”institutions_disict_count“：0，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”has_fulltext“：false，”cited_by_count“：55，”cited_by_percentile_year“：{”min“：93，”max“：94}，”biblio“：{”volume“：”27“，”issue“：”5“，”first_page“：”1376“，”last_page“：https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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.9999，”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.9933，”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.964，“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/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.513412}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.507444}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”描述逻辑“，”score“：0.507263｝]，”concepts“：[｛”id“：”https://openalex.org/C135790938“，”wikidata“：”https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.7192662}，{”id“：”https://openalex.org/C41008148“，”wikidata“：”https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5627391}，{”id“：”https://openalex.org/C142156749“，”wikidata“：”https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.5583411}，{”id“：”https://openalex.org/C140146324“，”wikidata“：”https://www.wikidata.org/wiki/Q1144319“，”display_name“：”谓词（数学逻辑）“，”level“：2，”score“：0.5487925}，{”id“：”https://openalex.org/C156325763“，”wikidata“：”https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.54021287}，{”id“：”https://openalex.org/C61237538“，”wikidata“：”https://www.wikidata.org/wiki/Q855192“，”display_name“：”简单类型lambda演算“，”level“：4，”score“：0.53143543}，{”id“：”https://openalex.org/C64543145“，”wikidata“：”https://www.wikidata.org/wiki/Q162942“，”display_name“：”十字路口（航空）“，”level“：2，”score“：0.5124431}，{”id“：”https://openalex.org/C184337299“，”wikidata“：”https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.49705723}，{”id“：”https://openalex.org/C199360897“，”wikidata“：”https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4561327}，{”id“：”https://openalex.org/C55128367“，”wikidata“：”https://www.wikidata.org/wiki/Q2552799“，”display_name“：”System F“，”level“：3，”score“：0.44923618}，{”id“：”https://openalex.org/C77736955“，”wikidata“：”https://www.wikidata.org/wiki/Q1089708（网址：https://www.wikidata.org/wiki/Q1089708）“，”display_name“：”Church encoding“，”level“：5，”score“：0.4317992}，{”id“：”https://openalex.org/C2777686260“，”wikidata“：”https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.424272}，{”id“：”https://openalex.org/C33923547“，”wikidata“：”https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.37837812}，{”id“：”https://openalex.org/C118615104“，”wikidata“：”https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3743506}，{”id“：”https://openalex.org/C80444323“，”wikidata“：”https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3506435}，{”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“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127413603“，”wikidata“：”https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C146978453“，”wikidata“：”https://www.wikidata.org/wiki/Q3798668网址“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1137/s0097539794275860“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S153560523“，”display_name“：”SIAM计算日志“，”issn_l“：”0097-5397“，”isn“：[”0097-50397“、”1095-7111“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320508“，”“host_organization_name”：“工业与应用数学学会”，“host_ordanization_lineage”：[“https://openalex.org/P4310320508“]，”host_organization_lineage_names“：[”工业和应用数学学会“]，“type”：“journal”}，“license”：null，“licence_id”：null'，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“display_name”：“减少不平等”，“score”：0.62，“id”：“https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：35，”referrenced_works“：【”https://openalex.org/W119005804","https://openalex.org/W1582269801","https://openalex.org/W1970227944","https://openalex.org/W1972921902","https://openalex.org/W1976958863","https://openalex.org/W1978856319","https://openalex.org/W1986227685","https://openalex.org/W1988432838","https://openalex.org/W1990370351","https://openalex.org/W2007270285","https://openalex.org/W2010331618","https://openalex.org/W2010959827","https://openalex.org/W2025294912","https://openalex.org/W2025341469","https://openalex.org/W2031709122","https://openalex.org/W2037785443","https://openalex.org/W2039112578","https://openalex.org/W2062024564","https://openalex.org/W2069970962","https://openalex.org/W2070032247","https://openalex.org/W2088735483","https://openalex.org/W2088941870","https://openalex.org/W2102549858","https://openalex.org/W2111841006","https://openalex.org/W2113757735","https://openalex.org/W2139772363","https://openalex.org/W2150022661","https://openalex.org/W2157144873","https://openalex.org/W2158244462","https://openalex.org/W2165407648","https://openalex.org/W2167004912","https://openalex.org/W2170626879","https://openalex.org/W2599978747","https://openalex.org/W4213381987","https://openalex.org/W4300885858“]，”related_works“：[”https://openalex.org/W4205386752","https://openalex.org/W3123171335","https://openalex.org/W2761902706","https://openalex.org/W2189323991","https://openalex.org/W21537352","https://openalex.org/W2153353244","https://openalex.org/W2114151019","https://openalex.org/W2112776683网址","https://openalex.org/W1983748102","https://openalex.org/W1595139175“]，”ngrams_url“：”https://api.openalex.org/works/W2094079428/ngrams网站“，”abstract_inverted_index“：{”Type-free“：[0]，”lazy“：[1]，”$\\lambda$-calculus“：[2]，”is“：[3,21,49]，”enriced“：[4]，”with“：[5,36]，”angelic“：[6]，”parallelics“：[7]，”and“：[8,12,17,38,41]，”demonic“：[9]，”nondeterminism“：[10]，”Callby-name“：[11]，”callby-value“：%13]，”abtractions“：[14]，”are“：[15]，”considered“：[16]，”the“：[18,45]，”operational“：[19]，”语义“：[20,48]，”陈述“：[22]，”in“：[23]，”术语“：[24]，”of“：[25]，”a“：[26,32]，”必须“：[27]，”收敛“：[28]，”谓词。“：[29]，“我们”：[30]，“引入”：[31]，“类型”：[33]，“赋值”：[34]，“系统”：[35]，“交集”：[37]，“联合”：[39]，“种类”，“：[40]，“We”：[42]，“证明”：[43]，“that”：[44]，“归纳”：[46]，“逻辑”：[47]，“完全”：[50]，“抽象。“：[51]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2094079428“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：2}，{“年度”：2022，”“cited_by_cunt”：2]、{“年”：2021，年份“：2016，”引用by_count“：2}，{“年份”：2015，”引用by_count，{“年份”：2013，“引用_ by_count”：2}，{”年份“：2012，”引用_ by-count“：2}]，”更新日期“：“2024-06-07T07:35.325591”，“创建日期”：“2016-06-24”}