{“id”：“https://openalex.org/W2042204873“，”doi“：”https://doi.org/10.1145/2535838.2535852“，”title“：”依赖型理论的关系参数模型“，”display_name“：”依存型理论的一个关系参数模型”，“publication_year”：2014，“publitation_date”：“2014-01-08”，“ids”：{“openalex”：“https://openalex.org/W2042204873“，”doi“：”https://doi.org/10.1145/2535838.2535852“，”mag“：”2042204873“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/25535838.2535852“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”http://libres.uncg.edu/ir/asu/f/Johann_Patricia_2014_A_Relationaly_Parametric_Model_Of_Dependent_Type_Theory.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5036444096“，”display_name“：”Robert Atkey“，”orcid“：”https://orcid.org/0000-0002-4414-5047“}，”机构“：[]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Robert Atkey“，”raw关联字符串“：[“，英国”]，”从属关系“：[{”raw_affiliation_string“：”，英国“，”institution_ids“：[]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5044225957“，”display_name“：”Neil Ghani“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I181647926“，”display_name“：”斯特拉斯克莱德大学“，”ror“：”https://ror.org/00n3w3b69“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I181647926“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Neil Ghani“，”raw _affiliation_strings“：[“英国格拉斯哥斯特拉斯克莱德大学”]，”affiliations“：[{”raw _affiliation_string“：”英国格拉斯哥Strathclyde大学”，“institution_ids”：[“https://openalex.org/I181647926“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5044007936“，”display_name“：”Patricia Johann“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I430192“，”display_name“：”阿巴拉契亚州立大学“，”ror“：”https://ror.org/051m4vc48“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I430192“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Patricia Johann“，”raw _ affiliation_strings“：[“阿巴拉契亚州立大学，布恩，北卡罗来纳州，美国”]，”affiliation“：[{”raw _affiliation_string“：”阿巴拉契亚州立大学，布恩，北卡州，美国“，”institution_ids“：]”https://openalex.org/I430192“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc _ paid”：null，“fwci”：2.839，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：44，“citected_by_percentile_year”：{“min”：96，“max”：97}，“biblio”“：{”volume“：null，”issue“：null，”first_page“：null.”last_page“：null}，”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“：”人工智能“}，”字段“：{”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“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9976，“subfield”：{“id”：“https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9773，“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/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.527264}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.509509}]，”概念“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.74005014}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.4862403}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.47148654}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.46118054}，{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.4122265｝，｛”id“：”https://openalex.org/C107457646，“wikidata”：https://www.wikidata.org/wiki/Q207434“，”display_name“：”Human\u2013计算机交互“，”level“：1，”score“：0.39398396}，{”id“：”https://openalex.org/C27777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858网址“，”display_name“：”Type（biology）“，”level“：2，”score“：0.36447132}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3496698}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”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“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2535838.2535852“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://libres.uncg.edu/ir/asu/f/Johann_Patricia_2014_A_Relationaly_Parametric_Model_Of_Dependent_Type_Theory.pdf，“pdf_url”：http://libres.uncg.edu/ir/asu/f/Johann_Patricia_2014_A_Relationaly_Parametric_Model_Of_Dependent_Type_Theory.pdf，“源”：{“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“：[”Greensboro北卡罗来纳大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://strathprints.strath.ac.uk/52461/1/Atkey_etal_POPL_2014_A_relationally_parametric_model_of_dependent_type_theory.pdf，“pdf_url”：https://strathprints.strath.ac.uk/52461/1/Atkey_etal_POPL_2014_A_relationally_parametric_model_of_dependent_type_theory.pdf，“源”：{“id”：https://openalex.org/S4306402226“，”display_name“：”Strathprints:The University of Strathclyde institutional repository（斯特拉斯克莱德大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I181647926“，”“host_organization_name”：“斯特拉斯克莱德大学”，“host_ordanization_lineage”：[“https://openalex.org/I181647926“]，”host_organization_lineage_names“：[”Strathclyde大学“]，“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_2014_A_Relationaly_Parametric_Model_Of_Dependent_Type_Theory.pdf，“pdf_url”：http://libres.uncg.edu/ir/asu/f/Johann_Patricia_2014_A_Relationaly_Parametric_Model_Of_Dependent_Type_Theory.pdf，“源”：{“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“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：17，“referrenced_works”：“[”https://openalex.org/W1549406551","https://openalex.org/W1558175043","https://openalex.org/W1664326696网址","https://openalex.org/W1986402635","https://openalex.org/W1996381722","https://openalex.org/W2009885935","https://openalex.org/W2057292961","https://openalex.org/W2095835314","https://openalex.org/W2120713972","https://openalex.org/W2129943248","https://openalex.org/W2136177623","https://openalex.org/W2149412346","https://openalex.org/W2162846161","https://openalex.org/W2914837968","https://openalex.org/W3167950194","https://openalex.org/W4241057360","https://openalex.org/W4246086292“]，”related_works“：[”https://openalex.org/W4386614239","https://openalex.org/W4306816010","https://openalex.org/W4306353309","https://openalex.org/W4283575722","https://openalex.org/W4241070479","https://openalex.org/W4225424606","https://openalex.org/W3120415410","https://openalex.org/W2787703111","https://openalex.org/W2163980057","https://openalex.org/W2117463039“]，”ngrams_url“：”https://api.openalex.org/works/W2042204873/ngrams网站“，”“abstract_inverted_index”：{“Reynolds”：[0,17]，“theory”：[1]，“of”：[2,8,14,24,52]，“relational”：[3,39]，“parametricity”：[4,40]，“captures”：[5]，“the”：[6,21,25]，“invariance”：[7]，”“多态性”：[9,26]，“typed”：[10,27]，“programs”：[11]，“under”：[12]，“change”：[13]，“data”：[15]，”表示：[16]，“原始”：[18]，“工作”：[19]，“利用”：[20]，“键入”：[22]，“学科”：[23]，“lambda-calculus”：[28]，“体系”：[29,53]，“F，”：[30]，“但是”：[31]，“那里”：[32]，“是”：[33]，“现在”：[34]，“相当”：[35]，“兴趣”：[36]，“in”：[37]，“扩展”：[38]，“到”：[41]，“类型”：[42]，“系统”：[43]，“that”：[44,51]，“are”：[45]，“更丰富”：[46]，“and”：[47]，“more”：[48]，“expressive”：[49]，“than”：[50]，“F”：[54]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2042204873“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年度”：2022，”“cited_by_cunt”：4}，“{“年”：2021，”“cited_by-count”“：7}，”“年”“2020，”“引用_by_cont”“:6}，，”“年份”“2019，”年份“：2016，”引用by_count“：2}，{“年份”：2015，”引用by_count，{“年份”：2013，“引用_ by_count”：2}]，“更新日期”：“2024-06-21T01:52:18.854374”，“创建时间”：“2016-06-24”}