{“id”：“https://openalex.org/W1570178357“，”doi“：”https://doi.org/10.1007/bfb0053552“，”title“：”Functor categories and two level languages“，”display_name“：”Functor catecories and thouble level languages“，“publication_year”：1998，”publication_date“：”1998-01-01“，”ids“：{”openalex“：”https://openalex.org/W1570178357“，”doi“：”https://doi.org/10.1007/bfb0053552“，”mag“：”1570178357“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/bfb0053552，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2FBFb0053552.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}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007%2FBFb0053552.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543“}，”机构“：[]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”E.Moggi“，”raw _ afiliation_strings“：[“DISI-热那亚大学，via Dodecaneso 35，16146，Genova，Italy”]，“afliations”：[{“raw_affiliation_string”：“DISI–热那亚学校，via dodecaneso35，16146Genova（意大利）”，“institution_ids”：[]}]，“count ries_distinct_count“：1，”institutions_distinct_count“：0，”corresponding_author_id“：[”https://openalex.org/A5060518986“]，”corresponding_institution_ids“：[]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：1.998，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：17，”cited_by_percentile_year“：{”min“：84，”max“：85}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“211”，“last_page”：“225”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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“：”Artificial Intelligence“｝，”field“：｛”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.9919，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9704，”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（https://openalex.org/keywords/programming-language-semantics）“，”display_name“：”编程语言语义“，”score“：0.572496}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.72901416}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.68820673}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.68400806}，{”id“：”https://openalex.org/C156772000，“wikidata”：https://www.wikidata.org/wiki/Q864475“，”display_name“：”Functor“，”level“：2，”score“：0.6551751}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6144093｝，｛”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.57265604}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.5129173}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.50499517}，{”id“：”https://openalex.org/C121375916，“wikidata”：https://www.wikidata.org/wiki/Q936559“，”display_name“：”合成原理“，”level“：2，”score“：0.46960935}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.43565297}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.43560538}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3721807}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.3494404}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.24354878}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.22888535}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.18331191}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.14454228｝，｛”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/bfb0053552，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2FBFb0053552.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“：”系列丛书“｝，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/bfb0053552，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2FBFb0053552.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“：[{”score“：0.48，”display_name“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：14，”referrenced_works“：【”https://openalex.org/W1519142519","https://openalex.org/W1608933122","https://openalex.org/W1815958522","https://openalex.org/W1983574485","https://openalex.org/W1997143185","https://openalex.org/W2008350386","https://openalex.org/W204865569","https://openalex.org/W2073005537","https://openalex.org/W2073378225","https://openalex.org/W2107674601","https://openalex.org/W2110656424","https://openalex.org/W2489678876","https://openalex.org/W267417","https://openalex.org/W2991253930“]，”related_works“：[”https://openalex.org/W783270985","https://openalex.org/W4238875431","https://openalex.org/W2227683586","https://openalex.org/W2151619199","https://openalex.org/W2053558194","https://openalex.org/W2035140398","https://openalex.org/W1881843146","https://openalex.org/W1855927527","https://openalex.org/W1828810364","https://openalex.org/W180941769“]，”ngrams_url“：”https://api.openalex.org/works/W1570178357/ngrams“，”“abstract_inverted_index”：{“We”：[0]，“propose”：[1]，“a”：[2,17,5710711157168]，“dentation”：[3,19,40]，“semantics”：[4,91121]，“for”：[5,32,76132]，“the”：[6,43,74,90125134145150154165]，“two-level”：[7108]，“language”：[8109]，“of”：[9,36,45,92122137144147156167]，“[GJ91，”：[10]，“Gom92]，“：[11]，”和“：[12,52.68130170]，”证明“：[13]，”其“：[14]，”正确性“：[15,31]，”w.r.t.“：[16]，”标准“：[18]，”语义。“：[20]，”其他“：[21]，”研究人员“：[22]，”（参见“：[23182]，”[Gom91，“：[24]，”GJ91，“:[25]，”Gom92，“：/26]，”JGS93，“：:27]，”HM94]）“：[28]，”have“：[29]，”claimed“：[30]，”lambda-mix“：[33]，”（or“：[34]，”extensions“：[35]，”it）“：[37]，”based“：[38]，”on“：[39,49]，”模型“：[41]，”但是“：[42]，”证明“：[44]，”这样“：[46]，”权利要求“：[47]，”依赖“：[48]，”不精确“：[50]，”定义“：[51]，“are”：[53,61]，“basic”：[54]，“defected.”：[55]，“At”：[56]，“technical”：[58]，“level”：【59]，“there”：[60]，“two”：[62]，“important”：“63]，“differences”：[64]，“between”：[65]，“ours”：[66]，“model”：[67]，“more”：[69,81]，“naive”：%70]，“modules”：【71】，“in”：[72110]，“Cpo:”：[73]，“域”：[75]，“解释”：[77]，“动态”：[78]，“表达式”：[79]，“是”：[80,94104161176]，“抽象”：[82]，“（we”：[83,97]，“解释”：[84106]，“代码”：[85]，“作为”：[86153]，“\u03bb-terms”：[87]，“模”：[88]，“\ u03b1-转换），“：[89]，”newname“：[93123]，“已处理”：[95]，“不同”：[96]，“利用”：[98]，“函子”：[99113]，“类别”。“：[100]，”The“：[10112]，”key“：[102]，”idea“：[103]，”to“：[105]，”appropriate“：[112]，”category“：+114]，”Cpo“：/115]，”Dop“：[116]，“相当于”：[117]，“而不是”：[118]，“Cpo.”：[119]，“跟随”：[124]，“想法”：[126]，“先锋”：[127]，“by”：[128]，“Oles”：[129]，“雷诺兹”：[131]，“建模”：[133]，“堆栈”：[135]，“规程”：[136]，“类阿尔戈”：[138]，“语言。”：[139]，“确实”：[140]，“我们”：[141]，“可以”：[142]，“think”：[143]，“objects”：[146]，“D”：[148]，“（即：[149]，“natural”：[151]，“numbers）”：[152]，“states”：[155]，“name”：[158]，“counter”，“：[159]，“which”：[160]，“incremented”：[162]，“when”：[163172]，“entering”：[164]，“body”：[166]，“\u03bb-abstraction”：[169]，“decremented“：[171]，“coming”：[173]，“out。”：[174]，“Correcness”：[175]，“proved”：[177]，“using”：%178]，“Kripke”：[179]，“逻辑“：[180]，”关系“：[181]，”[MM91，“：[183]，”NN92]）。“：[184]}，”cited_by_api_url“:"https://api.openalex.org/works？filter=cites:W1570178357“，”counts_by_year“：[{“年份”：2024，”cited_by_count“：1}，{“年”：2023，”ciped_by_cunt“：1}，”{“年度”：2020，“cited_by_count”：1}.，{”year“:2018，”cited_by_count？：1}]，”updated_date“：”2024-06-21T01:57:37.816526“，”created_dates“：”2016-06-24“}