{“id”：“https://openalex.org/W62850799“，”doi“：”https://doi.org/10.1007/3-540-57887-0_88“，”title“：”concurrent\u03bb-calculus的完全抽象语义“，”display_name“：”concurrent\ u03bb-Calculu斯的完全抽象语义学“，”publication_year“：1994，”publiation_date“：”1994-01-01“，”ids“：{”openalex“：”https://openalex.org/W62850799“，”doi“：”https://doi.org/10.1007/3-540-57887-0_88“，”mag“：”62850799“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-57887-0_88“，”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，”host_organization“：”https://openalex.org/P4310318900“，”host_organization_name“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P4310319965","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/A5053585862“，”display_name“：”Mariangiola Dezani-Ciancaglini“，”orcid“：”https://orcid.org/0000-0002-3341-0941}，“机构”：[{“id”：https://openalex.org/I55143463“，”display_name“：”都灵大学“，”ror“：”https://ror.org/048tbm396“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I55143463“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Mariangiola Dezani-Ciancaglini“，”raw _ affiliation_strings“：[“都灵大学#TAB#”]，”affiliation“：[{”raw _affiliation_string“：”都灵大学#TAB#“，”institution_ids“：]”https://openalex.org/I55143463“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5020561481“，”display_name“：”Ugo de \u2019Ligoro“，”orcid“：”https://orcid.org/0000-0003-4609-2783}，“机构”：[{“id”：https://openalex.org/I55143463“，”display_name“：”都灵大学“，”ror“：”https://ror.org/048tbm396“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I55143463“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Ugo de'Liguoro“，”raw _affiliation_strings“：[“都灵大学#TAB#”]，”affiliations“：[{”raw _affiliation_string“：”都灵大学#TAB#“，”institution_ids“：[https://openalex.org/I55143463“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5077196285“，”display_name“：”Adolfo Piperno“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I861853513“，”display_name“：”萨皮恩扎罗马大学“，”ror“：”https://ror.org/02be6w209“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I861853513“]}，{”id“：”https://openalex.org/I4210101866“，”display_name“：”Informa（意大利）“，”ror“：”https://ror.org/017c2y429“，”country_code“：”IT“，”type“：“company”，”lineage“：[”https://openalex.org/I4210101866","https://openalex.org/I4210154378“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Adolfo Piperno“，”raw _affiliation_strings“：[“意大利罗马大学信息科学研究部\u00e0 di Roma \u201cLa Sapienza\u201d”]，”从属关系“：[{”raw _affiliation_string“：”意大利罗马大学信息科学研究生”，“institution_ids”：[“https://openalex.org/I861853513","https://openalex.org/I4210101866“]}]}]，”countries_distinct_count“：1，”institutions_distinact_counts“：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“has_fulltext”：false，“cited_by_count”：5，“cited_by_percentive_year”：{“min”：73，“max”：75}，“biblio”：{“volume”：null，“问题“：null，”first_page“：”16“，”last_page“：”35“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：1.0，“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”：1.0，“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.9996，”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.9968，“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/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.508017}]，”concepts“：[{”id“：”https://openalex.org/C41008148“，”wikidata“：”https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6125066}，{”id“：”https://openalex.org/C199360897“，”wikidata“：”https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.58154935｝，｛”id“：”https://openalex.org/C156325763“，”wikidata“：”https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.5617436}，{”id“：”https://openalex.org/C140146324“，”wikidata“：”https://www.wikidata.org/wiki/Q1144319“，”display_name“：”谓词（数学逻辑）“，”level“：2，”score“：0.5560999}，{”id“：”https://openalex.org/C184337299“，”wikidata“：”https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5473932}，{”id“：”https://openalex.org/C64543145“，”wikidata“：”https://www.wikidata.org/wiki/Q162942“，”display_name“：”十字路口（航空）“，”level“：2，”score“：0.5391827}，{”id“：”https://openalex.org/C2777299769“，”wikidata“：”https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.41152215}，{”id“：”https://openalex.org/C2777686260“，”wikidata“：”https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.38218695}，{”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}，{”id“：”https://openalex.org/C18903297“，”wikidata“：”https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240“，”wikidata“：”https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-57887-0_88“，”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，”host_organization“：”https://openalex.org/P4310318900“，”host_organization_name“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”系列丛书“}，”license“：null，”license_id“：null，”版本“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”可持续发展目标“：[]，”授予“：[]，”数据集“：[]，”版本“：[]，”referenced_works_count“：8，”referenced_works“：[”https://openalex.org/W1582269801","https://openalex.org/W1586890499","https://openalex.org/W1970227944","https://openalex.org/W2007270285","https://openalex.org/W2088735483","https://openalex.org/W2139772363","https://openalex.org/W2154273644","https://openalex.org/W62850799“]，”related_works“：[”https://openalex.org/W3042312155","https://openalex.org/W3021003119","https://openalex.org/W3007870257","https://openalex.org/W2910115471","https://openalex.org/W2610513781","https://openalex.org/W2472677114","https://openalex.org/W2245685274","https://openalex.org/W2146445117","https://openalex.org/W2112801462","https://openalex.org/W2002931343“]，”ngrams_url“：”https://api.openalex.org/works/W62850799/ngrams“，”abstract_inverted_index“：{”Type“：[0]，”free“：[1]，”lazy“：[2]，”\u03bb-calculus“：[3]，”is“：[4,22]，”enriced“：[5]，”with“：[6,37]，”angelic“：[7]，”parallelics“：[8]，”and“：[9,13,18,39,42]，”demonic“：[10]，”nondeterminism.“：[11]，”Call-by-name“：[12]，”Call-by-value“：[14]，“抽象”：[15]，“are”：[16]，“considered”：[17]，“the”：[19,45]，“operational”：[20]，“语义学“：[21,48]，”stated“：[23]，”in“：[24]，”terms“：[25]，”of“：[26]，”a“：[27,33]，”must“：[28]，”convergency“：[29]，”谓词。“：[30]，“我们”：[31]，“引入”：[32]，“类型”：[34]，“赋值”：[35]，“系统”：[36]，“交集”：[38]，“联合”：[40]，“种类”：[41]，“We”：[43]，“证明”：[44]，“归纳”：[46]，“逻辑”：[47]，“to”：[49]，“be”：[50]，“fully”：[51]，“抽象”。“：[52]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W62850799“，”counts_by_year“：[]，”updated_date“：”2024-06-15T14:20:57.750268“，”创建日期“：”2016-06-24“}