{“id”：“https://openalex.org/W2133639043“，”doi“：”https://doi.org/10.1145/96709.96744“，”title“：“高阶模块和相位区分”，”display_name“：”高阶模块与相位区分“，”publication_year“：1990，”publiation_date“：”1990-01-01“，”ids“：{”openalex“：”https://openalex.org/W2133639043“，”doi“：”https://doi.org/10.1145/96709.96744“，”mag“：”2133639043“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/96709.96744“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5028720578“，”display_name“：”Robert Harper“，”orcid“：”https://orcid.org/0000-0002-9400-2941}，“机构”：[{“id”：https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Robert Harper“，”raw _ afiliation_strings“：[“宾夕法尼亚州匹兹堡卡内基梅隆大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5060775456“，”display_name“：”John C.Mitchell“，”orcid“：”https://orcid.org/0000-0002-4065-3327}，“机构”：[{“id”：https://openalex.org/I97018004“，”display_name“：”斯坦福大学“，”ror“：”https://ror.org/00f54p054“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I97018004“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”John C.Mitchell“，”raw _ afiliation_strings“：[“斯坦福大学，斯坦福，加利福尼亚州”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543}，“机构”：[{“id”：https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Eugenio Moggi“，”raw _ afiliation_strings“：[“\u2021剑桥大学，剑桥CB2 3QG，英国”]}]，”countries _ distinct_count“：2，”institutions _ disting_count null，“has_fulltext”：true，“fulltext_origin“：”ngrams“，”cited_by_count“：129，”cited_by_percentile_year“：{”min“：97，”max“：98}，”biblio“：{volume“：null，”issue“：nul，”first_page“：null'，”last_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”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/T10126“，”“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/T13523“，”display_name“：”数学信息检索与搜索“，”score“：0.9754，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9148，”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/model-checking“，”display_name“：”模型检查“，”score“：0.558319}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.504461}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.67539716}，{”id“：”https://openalex.org/C8797682，“wikidata”：https://www.wikidata.org/wiki/Q2115“，”display_name“：”XML“，”level“：2，”score“：0.6225469}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.51980746}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5156568}，{”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076“，”display_name“：”功能（生物学）“，”级别“：2，”分数“：0.47899672}，{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.47797677}，{”id“：”https://openalex.org/C200833197，“wikidata”：https://www.wikidata.org/wiki/Q333707“，”display_name“：”编译时间“，”level“：3，”score“：0.47250473}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.46466267}，{”id“：”https://openalex.org/C20528804，“wikidata”：https://www.wikidata.org/wiki/Q997433“，”display_name“：”从属类型“，”level“：3，”score“：0.43312663}，{”id“：”https://openalex.org/C28719098，“wikidata”：https://www.wikidata.org/wiki/Q44946“，”display_name“：”Point（geometry）“，”level“：2，”score“：0.42700446}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.3561997}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.34918916}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3245019}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.21992776}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.105759084}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.09451863}，{”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/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”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/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/96709.96744“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：18，“referrenced_works”：[”https://openalex.org/W1511133369","https://openalex.org/W1511621732","https://openalex.org/W1542954600","https://openalex.org/W1595372275","https://openalex.org/W1598768958","https://openalex.org/W1984807151","https://openalex.org/W2003298503","https://openalex.org/W2052447934","https://openalex.org/W2062145157","https://openalex.org/W2078334802","https://openalex.org/W2104204098","https://openalex.org/W2128057448","https://openalex.org/W2156876717","https://openalex.org/W2168529278","https://openalex.org/W2174904099","https://openalex.org/W2211325406","https://openalex.org/W3043060850网址","https://openalex.org/W569543113“]，”related_works“：[”https://openalex.org/W3006505070","https://openalex.org/W2767298477","https://openalex.org/W2382449560","https://openalex.org/W2371266106","https://openalex.org/W2117864619","https://openalex.org/W2117382851","https://openalex.org/W2110432562","https://openalex.org/W2104121286","https://openalex.org/W2090337950","https://openalex.org/W2025344“]，”ngrams_url“：”https://api.openalex.org/works/W2133639043/ngrams网站“，”abstract_inverted_index“：｛”In“：[0,23]，”early“：[1]，”work“：[2]，”we“：[3,26]，”used“：[4]，”a“：[5，28，33，39，48，63，75]，”typed“：[6]，”function“：[7]，”calculus“：[8]，”XML“：[9]，”with“：[10，32]，”dependent“：[11]，”types“：[12,52]，”to“：[13]，”analyze“：[14]，“几个”：[15]，“方面”：[16]，“的”：[17，30，51，78]，“the”：[18，59，80，87]，“标准”：[19]，“ML”：[20]键入“：[21,42]，”系统。“：[22]，”this“：[24]，”paper“：[25]，”introduce“：[27]，”refinence“：[29]，”XML“：[31,56]，”clear“：[34]，”compile-time/run-time“：[35]，”phase“：[36,60]，”discrimination“：[37]，”and“：[38,57,69]，”direct“：[40]，”compile-time“：[41]，”checking“：[43]，”algorithmic。“：[44]，”The“：[45]，”calculations“：[46]，”uses“：[47]，”finer“：[49]，”separation“：[50]，”into“：[53]，”universes“：/54]，”than“：[55]，”implements“：[58]，”difference“：[61]，”use“：[62]，”non-standard“：[64,81]，”equalational“：[65,82]，”theory“：66,83]，”for“：[67]，”module“：68]，”signature“：[70]，“表达式。“：[71]，”While“：[72]，”unversal“：[73]，”from“：[74,86]，”type-theoretic“：%76]，”point“：[77]，”view“，”：[79]，”resears“：[84]，”natural“：[85]，”knowled“：88]，”Grothendieck“：[89]，”construction“：[90]，”on“：[91]，”an“：[92]，”indexed“：[93]，”category。“：[94]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2133639043“，”counts_by_year“：[{”年“：2024，”cited_by_count“：2}，{”年份“：2023，”ciped_by_cunt“：2%n，{“年份”：2022，“cited_by_count”：2%n、{“年”：2021，“ciped_by_cunt”：1}、{年“：2020，”cited_by_count“年份”：2017，“引用_by_count”：2}，{“年份”:2015，“引用_ by_counts”：2{“年度”：2014，“引用的by_count斯”：1}，{“年份”：2013，“引用_ by_count”：1}，{”年份“：2012，”引用_ by-count“：2}]，”更新日期“：“2024-06-05T07:25:59.860434”，“创建日期”：“2016-06-24”}