{“id”：“https://openalex.org/W1604851874“，”doi“：”https://doi.org/10.1007/3-540-48959-2_27“，”title“：”Pure Type Systems with Subtyping“，”display_name“：”Pure Type Systems with Subtyping“，”publication_year“：1999，”publiation_date“：”1999-01-01“，”ids“：{”openalex“：”https://openalex.org/W1604851874“，”doi“：”https://doi.org/10.1007/3-540-48959-2_27“，”mag“：”1604851874“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48959-2_27“，”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/A5067160107“，”display_name“：”Jan Zwanenburg“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I83019370“]}]，”国家“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”Jan Zwanenburg“，”raw_affiliation_strings“：[“荷兰埃因霍温理工大学”]，”affiliations“：[{”raw_affiliation_string“：”荷兰埃因多芬理工大学“，”，“institution_ids”：[“https://openalex.org/I83019370“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5067160107“]，”对应的机构ID“：[”https://openalex.org/I83019370“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payd“：null，”has_fulltext“：false，”cited_by_count“：14，”cited_by_percentile_year“：{”min“：83，”max“：84}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“381”，“last_page”：“396”}，：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“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.9996，“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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9894，”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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9828，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”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/元建模“，”display_name“：”元建模“，”score“：0.523566}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.508875}]，”concepts“：[{”id“：”https://openalex.org/C83852419，“wikidata”：https://www.wikidata.org/wiki/Q2713292“，”display_name“：”Subtyping“，”level“：2，”score“：0.9932955}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.81327623}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.61292684}，{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.6012646}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.566}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4939087}，{”id“：”https://openalex.org/C2781209916，“wikidata”：https://www.wikidata.org/wiki/Q3215756“，”display_name“：”Typing“，”level“：2，”score“：0.4891825}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4582952}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.04796824}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C28490314，“wikidata”：https://www.wikidata.org/wiki/Q189436“，”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“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48959-2_27“，”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}，”best_oa_location“：null”，“sustainable_development_goals”：[{“display_name”：“和平、正义和强大的制度”，“score”：0.74，“id”：“https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：9，”referrenced_works“：【”https://openalex.org/W1533074262","https://openalex.org/W1986402635","https://openalex.org/W2027657506","https://openalex.org/W2064819162","https://openalex.org/W2105126759","https://openalex.org/W2173184982","https://openalex.org/W2792739471","https://openalex.org/W4388310127","https://openalex.org/W96984112“]，”related_works“：[”https://openalex.org/W4386614239","https://openalex.org/W4376865054","https://openalex.org/W4306816010","https://openalex.org/W2952692593","https://openalex.org/W2787703111","https://openalex.org/W2284627976","https://openalex.org/W2166008660","https://openalex.org/W2126247629","https://openalex.org/W1977820295","https://openalex.org/W1508337761“]，”ngrams_url“：”https://api.openalex.org/works/W1604851874/ngrams“，”abstract_inverted_index“：{”We“：[0,36,76]，”extend“：[1]，”the“：[2,38,55,58,87,94]，”framework“：[3,59]，”of“：[4,23,57]，”Pure“：[5]，”Type“：[6]，”Systems“：[7]，”with“：+8,27]，”subtyping“：[9,28]，”as“：[10]，”found“：[11]，”in“：[12,60]，”F“：[13]，”\ u2264“：[14]，”\u03c9“：[15]，”.“：[16]，”This“：[17]，”leads“：[18]，”to“：[19,31,53]，”a“：[20,62,81]，”简明“：[21]，”description“：[22]，”many“：[24]，”existing“：[25]，”systems“：[26]，”and“：[29,46,72]，”also“：[30]，”some“：[32]，”new“：[3]，”interest“：[34]，”系统。“：[35]，”开发“：[37]，”元理论“：[39]，”for“：[40]，”this“：[41,78]，”framework，“：[42]，”including“：[43]，”Subject“：[44]，”Reduction“：[45]，”Minimal“：[47]，”Typing。The“：[48]，”main“：[49]，”problem“：[50,79]，”was“：[51]，”how“：[52]，”formulate“：[54]，”rules“：[56,89]，”suse“：[61]，”way“：[63]，”that“：[64]，”we“：/65]，”avoid“：[66]，”circuities“：[67]，”between“：[68]，”theory“:[69,73]，”about“：[70,74]，”typeing“：[71,95]，”子类型第页。“：[75]，”解决“：[77]，”通过“：[80]，”简单“：[82]，”但是“：[83]，”严格“：[84]，”设计“：[85]，”决定：“：[86]，”子类型“：[88]，”做“：[90]，”不“：[91]，”依赖“：[92]，”on“：[93]，”规则。“：[96]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1604851874“，”counts_by_year“：[{”year“:2022，”cited_by_count“：1}，{”year“：2021，”cited_by_count”：2}，”{“year”：2020，”citecd_by_count“：1'，{“year”：2017，”citted_by_count“:1}”，{年“：2015，”citesd_by-count“:1}，日期“：”2024-06-18T03:34:41.059509“，”创建日期“：“2016-06-24”}