{“id”：“https://openalex.org/W1527090010“，”doi“：”https://doi.org/10.1007/978-3-540-73228-0_16“，”title“：“初始代数语义就够了！“，”display_name“：”初始代数语义足够了！“，”publication_year“：2007，”publication_date“：”2007-01-01“，”ids“：｛”openalex“：”https://openalex.org/W1527090010“，”doi“：”https://doi.org/10.1007/978-3-540-73228-0_16“，”mag“：”1527090010“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73228-0_16“，”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”：true，“oa_status”：“green”，“oa_url”：http://libres.uncg.edu/ir/asu/f/Johann_Patricia_2007_倡议代数语义够了.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”first“，”auther“：{”id“：”https://openalex.org/A5044007936“，”display_name“：”Patricia Johann“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I102322142“，”display_name“：”罗格斯大学，新泽西州立大学“，”ror“：”https://ror.org/05vt9qd57“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I102322142“]}]，”国家“：[“美国”]，”is_corresponding“：false，”raw_author_name“：”Patricia Johann“，”raw _ afiliation_strings“：[”新泽西州卡姆登罗格斯大学“]，”affiliations“：[{”raw _affiliation_strong“：”新泽西罗格斯大学卡姆登”，“institution_ids”：[“https://openalex.org/I102322142“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5044225957“，”display_name“：”Neil Ghani“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I142263535“，”display_name“：”诺丁汉大学“，”ror“：”https://ror.org/01ee9ar58“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I142263535“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Neil Ghani“，”raw _affiliation_strings“：[“诺丁汉大学，诺丁汉#TAB#”]，”从属关系“：[{”raw _affiliation_string“：”https://openalex.org/I142263535“]}]}]，”countries_distinact_count“：2，”institutions_disticant_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：2.967，”has_fulltext“：false，”cited_by_count ile_year“：{“最小”：92，“最大”：93}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”207“，”last_page“：”222“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9935，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9898，“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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.582012}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.502814}]，”concepts“：[{”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.91629255}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6999757}，{”id“：”https://openalex.org/C168773036，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.67435026}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6664548}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.5751178}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段上的代数“，”level“：2，”score“：0.53176457｝，｛”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.52881575}，{”id“：”https://openalex.org/C27777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858网址“，”display_name“：”Type（biology）“，”level“：2，”score“：0.50466955｝，｛”id“：”https://openalex.org/C138958017，“wikidata”：https://www.wikidata.org/wiki/Q190087“，”display_name“：”数据类型“，”level“：2，”score“：0.49533454}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4328515}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.42748684}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.4179534}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.21083218}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.11124435}，{”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“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73228-0_16“，”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}，{“is_oa”：true，“landing_page_url”：“http://libres.uncg.edu/ir/asu/f/Johann_Patricia_2007_倡议代数语义够了.pdf“，”pdf_url“：”http://libres.uncg.edu/ir/asu/f/Johann_Patricia_2007_倡议代数语义够了.pdf“，”source“：{”id“：”https://openalex.org/S4306401856“，”“display_name”“：”NC数字在线知识与奖学金收藏（北卡罗来纳大学格林斯堡分校）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I169335092“，”“host_organization_name”：“北卡罗来纳大学格林斯博罗分校”，“host_ordanization_lineage”：[“https://openalex.org/I169335092“]，”“host_organization_lineage_names”：[“北卡罗来纳大学格林斯博罗分校”]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://libres.uncg.edu/ir/asu/f/Johann_Patricia_2007_倡议代数语义够了.pdf“，”pdf_url“：”http://libres.uncg.edu/ir/asu/f/Johann_Patricia_2007_倡议代数语义够了.pdf“，”source“：{”id“：”https://openalex.org/S4306401856“，”“display_name”“：”NC数字在线知识与奖学金收藏（北卡罗来纳大学格林斯堡分校）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I169335092“，”“host_organization_name”：“北卡罗来纳大学格林斯博罗分校”，“host_ordanization_lineage”：[“https://openalex.org/I169335092“]，”host_organization_lineage_names“：[”北卡罗来纳大学格林斯博罗分校“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“，”score“：0.5}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：19，”referrenced_works“：【”https://openalex.org/W1486010533","https://openalex.org/W1587287586","https://openalex.org/W1966981171","https://openalex.org/W2040687117","https://openalex.org/W2062887328","https://openalex.org/W2105266034","https://openalex.org/W2117818027","https://openalex.org/W2120713972","https://openalex.org/W2123032498","https://openalex.org/W2123360309","https://openalex.org/W2123887510","https://openalex.org/W2149412346","https://openalex.org/W2149859026","https://openalex.org/W2151015971","https://openalex.org/W2155593512","https://openalex.org/W2506088122","https://openalex.org/W2561675875","https://openalex.org/W2912259974","https://openalex.org/W2913811625“]，”related_works“：[”https://openalex.org/W3108528459","https://openalex.org/W2164520529","https://openalex.org/W2133420304","https://openalex.org/W2021712311","https://openalex.org/W1855927527","https://openalex.org/W1852619812","https://openalex.org/W1597178555","https://openalex.org/W1587224678","https://openalex.org/W1585037119","https://openalex.org/W1527090010“]，”ngrams_url“：”https://api.openalex.org/works/W1527090010/ngrams“，”“abstract_inverted_index”：{“Initial”：[0]，“algebration”：[1,66]，“semantics”：[2,67]，“is”：[3,68]，“a”：[4,21,32,35,45,74]，“基石”：[5]，“of”：[6,9,29,41,56,95121]，“the”：[7,83]，“theory”：[8]，“modern”：[10]，“functional”：[11]，“programming”：[12,78]，“languages”：[13]，“For”：[14]，“每个“：[15]，”归纳“：[16]，”数据“：[17,28,40,55]，”类型“：[18,31,43]，”它“：[19]，”提供“：[20]，”fold“：[22]，”combinator“：[23,37]，”封装“：[24]，”结构化“：[25]，”递归“：[26]，”over“：[27]，”that“：[30,42,57,64]，”Church“：[33,99]，”encoding“：[34]，”build“：[36101]，”which“：[38,48]，”constructs“：[39]，”and“：[44,97]，”fold/build“：[46104]，”rule“：[47]，”优化”：[49]，“模块化”：[50]，“程序”：[51]，“by”：[52118]，“消除”：[53]，“中间”：[54]，“类型。”：[58]，“它”：[59]，“有”：[60]，“长”：[61]，“曾经”：[62,86107]，“思想”：[63]，“初始”：[65]，“不”：[69]，“表达”：[70]，“足够”：[71]，“到”：[72,90]，“提供”：[73]，“类似”：[75]，“基础”：[76]，“用于”：[77109]，“带有”：[79]，“嵌套”：[80110]，“类型”：[81111]，“具体而言”：[82]，“折叠”：[84]，“有”：[85106]，“考虑”：[87]，“too”：[88]，“weak”：[89]，“capture”：[91]，“commonly”：[92]，“occurring”：[93]，“patterns”：[94]，“recursion”：[96]，“no”：[98]，“encodings”：[100]，“combinator”：[102]，“or”：[103]，“rules”：[105]，“given”：[108]，“This”：[112]，“paper”：[113]，“overses”：[114]，“This”：+115]，“convenual”：[116]，“智慧”：[117]，“解决”：[119]，“所有”：[120]，“这些”：[122]，“问题”：[123]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W1527090010“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：2}，{“年度”：2022，”“cited_by_cunt”：5}，“{“年”：2020，”“cited_by-count”“：1}，”“年”“2019”“cited_by_count“：2]，”ated_date“：”2024-06-20T22:11:24.601433“，”创建日期“：”2016-06-24“}