{“id”：“https://openalex.org/W2008063827“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.023“，”title“：”建模局部变量：可能的世界和对象空间“，”display_name“：”模型局部变量：潜在的世界和目标空间“，“publication_year”：2010，”publication_date“：”2010-09-01“，”ids“：{”openalex“：”https://openalex.org/W2008063827“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.023“，”mag“：”2008063827“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.023“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“gold”，“oa_url”：“”https://doi.org/10.1016/j.entcs.2010.08.023“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5041412703“，”display_name“：”Guy McCusker“，”orcid“：”https://orcid.org/0000-0002-0305-6398}，“机构”：[{“id”：https://openalex.org/I51601045“，”display_name“：”巴斯大学“，”ror“：”https://ror.org/002h8g185“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I51601045“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Guy McCusker“，”raw _affiliation_strings“：[“英国巴斯大学BA2 7AY计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”英国巴斯大学计算机科学系BA2 7A“，”institution_ids“：[https://openalex.org/I51601045“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5082619162“，”display_name“：”John Power“，”orcid“：”https://orcid.org/0000-0002-3816-8509}，“机构”：[{“id”：https://openalex.org/I51601045“，”display_name“：”巴斯大学“，”ror“：”https://ror.org/002h8g185“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I51601045“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”John Power“，”raw _affiliation_strings“：[“英国巴斯大学计算机科学系BA2 7AY”]，”affiliations“：[{”raw _affiliation_string“：”英国巴斯大学计算科学系BA27 AY”，“institution_ids”：[“https://openalex.org/I51601045“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：0，”citation_normalized_percentile“：{”value“：0.05，”is_in_top_1_percent“：false，“is_in_top_10_percent”：错误}，“cited_by_percentle_year“：｛“min”：0，“max”：64｝，“biblio”：｛“volume”：“265”，“issue”：null，“first_page”：“389”，“last_page”：“402”｝，“is_retracted”：false，“is_paratext”：false，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9985，”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/T11574“，”display_name“：”游戏人工智能研究“，”score“：0.9932，”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/keywords/cartesian-closed-category网站“，”display_name“：”笛卡尔闭合范畴“，”score“：0.6817173}，{”id“：”https://openalex.org/keywords/subcategory网站“，”display_name“：”子类别“，”score“：0.66645986}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.520221}]，”concepts“：[{”id“：”https://openalex.org/C156772000，“wikidata”：https://www.wikidata.org/wiki/Q864475“，”display_name“：”Functor“，”level“：2，”score“：0.7426372}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.73662585｝，｛”id“：”https://openalex.org/C171032842，“wikidata”：https://www.wikidata.org/wiki/Q1725874“，”display_name“：”笛卡尔闭合类别“，”level“：2，”score“：0.6817173}，{”id“：”https://openalex.org/C2780617661，“wikidata”：https://www.wikidata.org/wiki/Q541563“，”display_name“：”子类别“，”level“：2，”score“：0.66645986}，{”id“：”https://openalex.org/C2781238097，“wikidata”：https://www.wikidata.org/wiki/Q175026“，”display_name“：”Object（grammar）“，”level“：2，”score“：0.60407007}，{”id“：”https://openalex.org/C41608201，“wikidata”：https://www.wikidata.org/wiki/Q980509“，”display_name“：”Embedding“，”level“：2，”score“：0.5381404}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.37912762}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.32153863}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.25258332}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.13626084}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.023“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“http://opus.bath.ac.uk/18530/1/density.pdf，“pdf_url”：https://researcportal.bath.ac.uk/files/284248/density.pdf，“源”：{“id”：https://openalex.org/S4306401631“，”display_name“：”The University of Bath Online Publications Store（The Universition of Bath）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I51601045“，”“host_organization_name”：“巴斯大学”，“host_ordanization_lineage”：[“https://openalex.org/I51601045“]，”host_organization_lineage_names“：[”巴斯大学“]，“type”：“repository”}，“license”：null，“liccense_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://purehost.bath.ac.uk/ws/files/284248/density.pdf，“pdf_url”：https://purehost.bath.ac.uk/ws/files/284248/density.pdf，“源”：{“id”：https://openalex.org/S4377196294“，”display_name“：”Pure（University of Bath）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：fase，”is_core“：false，”host_organization“：”https://openalex.org/I51601045“，”“host_organization_name”：“巴斯大学”，“host_ordanization_lineage”：[“https://openalex.org/I51601045“]，”host_organization_lineage_names“：[”巴斯大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.023“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1507692549","https://openalex.org/W1511331505","https://openalex.org/W1585954935","https://openalex.org/W1595465781","https://openalex.org/W1977216954","https://openalex.org/W1986057687网址","https://openalex.org/W2056634143","https://openalex.org/W2087185080","https://openalex.org/W2120713972","https://openalex.org/W2120926795","https://openalex.org/W2149758899","https://openalex.org/W2165735954","https://openalex.org/W2169907127","https://openalex.org/W2173720051","https://openalex.org/W2526054476","https://openalex.org/W3100138022","https://openalex.org/W3104063683","https://openalex.org/W3169946360","https://openalex.org/W4251558097","https://openalex.org/W605212316“]，”related_works“：[”https://openalex.org/W4243341749（网址：https://openalex.org/W4243341749）","https://openalex.org/W4238996884","https://openalex.org/W3123970169","https://openalex.org/W2744653121","https://openalex.org/W2550443614","https://openalex.org/W2391207294","https://openalex.org/W2372920785","https://openalex.org/W2085318782","https://openalex.org/W2034974328","https://openalex.org/W118384952“]，”abstract_inverted_index“：{”Local“：[0]，”variables“：[1]，”in“：[2,10,93216]，”imperative“：[3]，”languages“：[4]，”have“：[5,51]，”been“：[6]，“given”：[7]，“dentational”：[8]，“semantics”：[9]，“at”：[11231]，“least”：[12]，“two”：[13,54]，“basically”：[14]，“different”：[15]，“ways”：[16]。]，“一”：[17]，“是”：[18,71,88101161194213]，“作者”：[19,38,56171225]，“使用“：[20]，”of“：[21,28,85116141145154158182]，”functor“：[22,58,98188]，”categories“，：[23]，”focusing“：[24]，”on“：[25,45]，”the“：[26,53,83121124132142149152155169174203]，”idea“：[27]，”possible“：[29]，”worlds。“：[30]，”The“：[31187]，”other“：[32]，”may“：[33]，”be“：[34]，”termined“：[35]，”event-based“：[36]，”exampled“：[3]7]，”Reddy“：[39]，”object“：[40,64,86117125146159]，”spaces“：[41,87126147160]，”and“：[42,49,91104128198201]，”models“：[43,60]，”based“：%44]，”game“：[46]，”semantics●●●●。“：[47]，”O'Hearn“：[48]，”Reddy“：[50]，”related“：[52]，”approachs“：[55]，”giving“：[57]，”category“：[59,84,99144189205]，”which“：[61]，”worlds“：+62]，”are“：/63]，”spaces“：/65]，”then“：[66]，”showing“：/67226]，”that“：[68100173227]，”the“ther”：[69221]，”model“：[70127]，”fully“：[72]，“抽象”：[73]，“用于”：[74]，“理想化”：[75]，“Algol”：[76]，“程序”：[77]，“up“：[78]，”to“：[79,95110]，”order“：[80,94232]，”two。“：[81]，”但“：[82]，”不“：[89]，”小“，：[90103]，”so“：[92]，”构造“：[96]，”a“：[97113138178183207]，”局部“：[102196]，”因此“：[105]，”笛卡尔“：[106199]，”关闭“，”：[107200]，“他们”：[108]，“需要”：[109]，“工作”：[11122]，“有”：[112]，“限制”：[114156]，“集合”：[1152]157]，“空格。“：[118]，”This“：[119]，”weakens“：[120]，”connection“：/122]，”between“：[123]，”functor-category“：[130]，”model:“：[131]，”Yoneda“：[133]，”embedding“：[134140]，”no“：[135]，”longer“：[136]，”provides“：[137]，”complell“：[139208222228]，”original“：[143]，”into“：[148]，”functor-catagory“。“：[150]，”Moreoever“：[151]，”choice“：[153]，”ad“：[162]，”hoc“。“：[163]，“In”：[164]，“this”：[165211]，“paper”，：[166]，“we”：/167]，“refine”：[168220]，“approach”：%170]，“proving”：[172]，“finited”：[175192]，“objects”：[176193]，“form”：[177]，“small”：[179197]，“dense”：[180]，“subcategory”：[181]，“simplified”：%184]，“objects-spaces”：[C85204]，“model”。“：[186]，”over“：[190]，”these“：[191]，”因此“：[195]，”包含“：202]，”as“：[206]，”子类别。“：[209]，”全部“：[210]，”必然“：[214]，”丰富“：[215]，”Cpo。“：[217]，”我们“：[218]，”进一步“：[219]，”抽象“：[223229]，”结果“：[224]，”失败“：[230]，”三。“：[233]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2008063827“，”counts_by_year“：[]，”updated_date“：”2024-08-27T22:06:10.167792“，”创建日期“：”2016-06-24“}