{“id”：“https://openalex.org/W1526792518“，”doi“：”https://doi.org/10.1007/978-3-540-73228-0_6“，”title“：”直觉精炼微积分“，”display_name“：”直观精炼微积分”，“publication_year”：2007，“publiation_date”：“2007-01-01”，“ids”：{“openalex”：“https://openalex.org/W1526792518“，”doi“：”https://doi.org/10.1007/978-3-540-73228-0_6“，”mag“：”1526792518“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73228-0_6“，”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”：“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”：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/A5069645466“，”display_name“：”Sylvain Boulm\u00e9“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210104430“，”display_name“：”格勒诺布尔计算机科学实验室“，”ror“：”https://ror.org/01c8rcg82“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Sylvain Boulm\u00e9“，”raw _affiliation_strings“：[“格勒诺布尔实验室d\u2019Informatique de Grenoble，681，rue de la Passerelle BP-72\u2013 38402 St-Martin d\u2019H\u00e 9res，法国”]，”affiliations“：[{”raw _affiliation_string“：”实验室d\u2019Informatique de Grenoble，681，rue de la Passerelle BP-72\u2013 38402 St-Martin d\u2019H\u00e9res，法国“，”institution_ids“：[”https://openalex.org/I4210104430“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5069645466“]，”对应的机构ID“：[”https://openalex.org/I4210104430“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payd“：null，”has_fulltext“：false，”cited_by_count“：4，”cited_by_percentile_year“：{”min“：79，”max“：80}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“54”，“last_page”：“69”}，，“is_paratext”：false，“primary_topic”：{“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/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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9941，”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.9917，“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/feature-models网站“，”display_name“：”功能模型“，”score“：0.523705}，{”id“：”https://openalex.org/keywords/software-architecture网站“，”display_name“：”软件体系结构“，”score“：0.517299}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.508692}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.505358}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7405421}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.6919748}，{”id“：”https://openalex.org/C90487712，“wikidata”：https://www.wikidata.org/wiki/Q7307205“，”“display_name”“：”细化微积分“，”级别“：2，”分数“：0.655381}，{”id“：”https://openalex.org/C2780624054，“wikidata”：https://www.wikidata.org/wiki/Q34010“，”display_name“：”Haskell“，”level“：3，”score“：0.6327182}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5672454}，{”id“：”https://openalex.org/C168773036，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.56132096}，{”id“：”https://openalex.org/C41608201，“wikidata”：https://www.wikidata.org/wiki/Q980509“，”display_name“：”Embedding“，”level“：2，”score“：0.56121314}，{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.55795187}，{”id“：”https://openalex.org/C173870130，“wikidata”：https://www.wikidata.org/wiki/Q8548“，”display_name“：”Dijkstra's algorithm“，”level“：4，”score“：0.52604985}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”“display_name”“：”“微积分（牙科）”“，”级别“：2，”分数“：0.43757376}，{”id“：”https://openalex.org/C85343465，“wikidata”：https://www.wikidata.org/wiki/Q975734“，”display_name“：”Curry\u2013Howard通信“，”level“：3，”score“：0.4347055}，{”id“：”https://openalex.org/C33959348，“wikidata”：https://www.wikidata.org/wiki/Q1630568“，”display_name“：”Monad（范畴理论）“，”level“：3，”score“：0.42528355}，{”id“：”https://openalex.org/C2778701210，“wikidata”：https://www.wikidata.org/wiki/Q28130034“，”display_name“：”Constructive“，”level“：3，”score“：0.4104265}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40741146}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.37024364}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.35159975}，{”id“：”https://openalex.org/C27777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858网址“，”display_name“：”Type（biology）“，”level“：2，”score“：0.2643821}，{”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然演绎“，”level“：2，”score“：0.23717937}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.2074014}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.18878812｝，｛”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.12508595}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.09749287}，{”id“：”https://openalex.org/C22590252，“wikidata”：https://www.wikidata.org/wiki/Q1058754“，”display_name“：”最短路径问题“，”level“：3，”score“：0.08864567}，{”id“：”https://openalex.org/C156772000，“wikidata”：https://www.wikidata.org/wiki/Q864475“，”display_name“：”Functor“，”level“：2，”score“：0.08539343}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”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/C132525143，“wikidata”：https://www.wikidata.org/wiki/Q141488“，”display_name“：”Graph“，”level“：2，”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/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73228-0_6“，”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”：“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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：16，“referenced_works“：[”https://openalex.org/W1532465792","https://openalex.org/W1582439588","https://openalex.org/W1949275316","https://openalex.org/W1977285241","https://openalex.org/W1986402635","https://openalex.org/W1997143185","https://openalex.org/W2066210260","https://openalex.org/W2087713039","https://openalex.org/W2113109742","https://openalex.org/W2141236940","https://openalex.org/W2246398478","https://openalex.org/W2493901668","https://openalex.org/W2561675875","https://openalex.org/W4242481771","https://openalex.org/W4253748132","https://openalex.org/W4254354208“]，”related_works“：[”https://openalex.org/W4233723952","https://openalex.org/W3026363978","https://openalex.org/W2754859507","https://openalex.org/W2547899303","https://openalex.org/W2466718051","https://openalex.org/W2373472360","https://openalex.org/W2319624920","https://openalex.org/W2114058479","https://openalex.org/W2034871280","https://openalex.org/W1911419940“]，”ngrams_url“：”https://api.openalex.org/works/W1526792518/ngrams“，”abstract_inverted_index“：{“精炼”：[0]，”calculi“：[1]，”are“：[2]，”program“：[3]，”logics“：[4]，”which“：[5]，”formalize“：[6]，”the“：[7,19,28,45]，”\u201ctop-down\u201d“：[8]，”methology“：[9]，”of“：[10,22,31,48]，”software“：[11]，”development“：[12]，”promoted“：[13]，”by“：[14]，”Dijkstra“：[15]，”and“：[16,44]，”Wirth“：[17]，”in“：[18]，”early“：[20]，”days“：[21]，”结构化“：[23]，”编程。“：[24]，“I”：[25]，“present”：[26]，“here”：[27]，“shallow”：[29]，“embedding”：[30,40]，“a”：[32,51]，“refinement”：[33]，“calculation”：[34]，“into”：[35]，“constructived”：[36]，“type”：[37]，“theory”。“：[38]，“This”：[39]，“investings”：[41]，“monad”：[42]，“transformers”：[43]，“computerative”：[46]，“reflection”：[47]，“weakest-preactions”，“：[49]，“using”：[50]，“continuation”：[22]，“passing”：[53]，“style”。“：[54]，”It“：[55]，”should“：[56]，”allow“：[57]，”to“：[58]，”reason“：[59]，”about“：[60]，”many“：[61]，”programs“：[62]，”combining“：[63]，”non-functional“：[64]，”features“：[65]，”（state，“：[66]，”exceptions“：[67]，”etc）“：[68]，”with“：[69]，”pure“：[70]，”functional“：[72]，”（高阶“：[73]，”函数“：[74]，”结构“：[75]，”递归“：[76]，”等）。“：[77]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W1526792518“，”counts_by_year“：[{“年份”：2019，”cited_by_count“：1}，{“年度”：2018，”ciped_by_cunt“：1'，{”年份“：2016，”cited_by_count”：1}]，”updated_date“：”2024-06-16T09:54:35.842362“，”created_dates“：”2016-06-24“}