｛“id”：“https://openalex.org/W2122071685“，”doi“：”https://doi.org/10.1007/3-540-46432-8_11“，”title“：”类型化Lambda微积分中的构造性数据精化“，”display_name“：”类化Lambda微积分中构造性数据精化“，“publication_year”：2000，”publication_date“：”2000-01-01“，”ids“：{”openalex“：”https://openalex.org/W2122071685“，”doi“：”https://doi.org/10.1007/3-540-46432-8_11“，”mag“：”2122071685“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-46432-8_11，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-46432-8_11.pdf，“源”：{“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”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”施普林格自然“，”施普林格科学+商业媒体“]，”type“：”丛书“}，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/3-540-46432-8_11.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5000680961“，”display_name“：”Furio Honsell“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Furio Honsell“，”raw _affiliation_strings“：[“爱丁堡大学计算机科学基础实验室”]，”affiliations“：[{”raw _affiliation_string“：”爱丁堡学院计算机科学基础实验“，”institution_ids“：[https://openalex.org/I98677209“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5073192680“，”display_name“：”John Longley“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”John Longley“，”raw _affiliation_strings“：[“爱丁堡大学计算机科学基础实验室”]，”affiliations“：[{”raw _affiliation_string“：”爱丁堡学院计算机科学基础实验室”，“institution_ids”：[“https://openalex.org/I98677209“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5062418524“，”display_name“：”Donald Sannella“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Donald Sannella“，”raw _affiliation_strings“：[“爱丁堡大学计算机科学基础实验室”]，”affiliations“：[{”raw _affiliation_string“：”爱丁堡学院计算机科学基础实验“，”institution_ids“：[https://openalex.org/I98677209“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5087292234“，”display_name“：”Andrzej Tarlecki“，”orcid“：”https://orcid.org/0000-0002-7788-2991}，“机构”：[{“id”：https://openalex.org/I4654613“，”display_name“：”华沙大学“，”ror“：”网址：https://ror.org/039bjqg32“，”country_code“：”PL“，”type“：“教育”，”世系“：[”https://openalex.org/I4654613“]}，{”id“：”https://openalex.org/I4210152232“，”display_name“：”信息学院“，”ror“：”https://ror.org/04jgqpc26“，”“country_code”“：”SK“，”type“：”facility“，”lineage“：[”https://openalex.org/I207624831","https://openalex.org/I4210152232“]}]，”国家“：[”PL“，”SK“]，”is_corresponding“：false，”raw_author_name“：”Andrzej Tarlecki“，”raw _ afiliation_strings“：[“华沙大学信息学院”]，”affiliations“：[{”raw _affiliation_strong“：”华沙大学信息化学院“，”institution_ids“：[https://openalex.org/I4654613","https://openalex.org/I4210152232“]}]}]，”countries_distinct_count“：3，”institutions_disting_count”：3，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：3.631，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：10，”cited_by_percentile_year“：{”min“：81，”max“：82}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”161“，”last_page“：”176“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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.9997，”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.9975，”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/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.9911，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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.5355}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.521705}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.507368}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.506994}]，”concepts“：[{”id“：”https://openalex.org/C2778701210，“wikidata”：https://www.wikidata.org/wiki/Q28130034“，”display_name“：”Constructive“，”level“：3，”score“：0.8961772}，{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.78173524}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.6408523}，{”id“：”https://openalex.org/C2778113609，“wikidata”：https://www.wikidata.org/wiki/Q10897“，”display_name“：”Lambda“，”level“：2，”score“：0.61862403}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4954449}，{”id“：”https://openalex.org/C77736955，“wikidata”：https://www.wikidata.org/wiki/Q1089708“，”display_name“：”Church encoding“，”level“：5，”score“：0.46233532}，{”id“：”https://openalex.org/C61237538，“wikidata”：https://www.wikidata.org/wiki/Q855192“，”display_name“：”简单类型lambda演算“，”level“：4，”score“：0.44995174}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.43275714}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.42404768}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.4039002}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.35532844}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.2719596}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.23010898}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.05792111｝，｛”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.04258734｝，｛”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“：”Dentry“，”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}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-46432-8_11，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-46432-8_11.pdf，“源”：{“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”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://www.pure.ed.ac.uk/ws/files/17651270/refinement.pdf，“pdf_url”：https://www.pure.ed.ac.uk/ws/files/17651270/refinement.pdf，“源”：{“id”：https://openalex.org/S4306400320“，”“display_name”“：”爱丁堡研究探索者（爱丁堡大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I98677209“，”host_organization_name“：”爱丁堡大学“，”host_organization_lineage“：[”https://openalex.org/I98677209“]，”host_organization_lineage_names“：[”爱丁堡大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1007/3-540-46432-8_11，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-46432-8_11.pdf，“源”：{“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”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：[%]，”datasets“：[/]，”versions“：[]]，”referenced_works_count“：14，”https://openalex.org/W126568045","https://openalex.org/W1502482163","https://openalex.org/W1507113273","https://openalex.org/W1510726078","https://openalex.org/W1515039666","https://openalex.org/W1583036869","https://openalex.org/W160611104","https://openalex.org/W2007270285","https://openalex.org/W2027949780","https://openalex.org/W2062871376","https://openalex.org/W2071749035","https://openalex.org/W2295902379","https://openalex.org/W3023216518","https://openalex.org/W4249644839“]，”related_works“：[”https://openalex.org/W3123171335","https://openalex.org/W2761902706","https://openalex.org/W236003875","https://openalex.org/W2189323991","https://openalex.org/W2153353244","https://openalex.org/W2114151019","https://openalex.org/W2110435210","https://openalex.org/W2088376608","https://openalex.org/W1595139175","https://openalex.org/W1583714326“]，”ngrams_url“：”https://api.openalex.org/works/W2122071685/ngrams（英文）“，”“abstract_inverted_index”：{“A”：[0]，“new”：[1]，“treatment”：[2]，“of”：[3,15,41]，“data”：[4,29]，“refinement”：[5,30,42]，“in”：[6,13]，“typed”：[7]，“lambda”：[8]，“calculations”：[9]，“is”：[10,31,43]，“proposed”：[11]，“phrased”：%12]，“terms”：[14]，“pre-logical”：[16]，“relations”“：[17]，”[HS99]“：[18]，”而不是“：[19]，”不是“：[20]，”逻辑“：[21]，”关系“：[22]，”和“：[23,37]，“合并”：[24]，“a”：[25,38]，“推定”：[26]，“元素”：[27]，“构造”：[28]，“显示”：[32]，“到”：[33]，“有”：[34]，“可取”：[35]，“属性”：[36]，“实质性”：[39]，“示例”：[40]，“呈现。”：[44]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2122071685“，”counts_by_year“：[{”年“：2015，”cited_by_count“：1}]，”更新日期“：”2024-06-21T04:00:19.868389“，”创建日期“：“2016-06-24”}