{“id”：“https://openalex.org/W1975801890“，”doi“：”https://doi.org/10.1145/2603088.2603128“，”title“：”带强制约束的系统F“，”display_name“：”带有强制约束的F系统“，”publication_year“：2014，”publiation_date“：”2014-07-14“，”ids“：{”openalex“：”https://openalex.org/W1975801890“，”doi“：”https://doi.org/10.1145/2603088.2603128“，”mag“：”1975801890“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2603088.2603128“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://inria.hal.science/hal-01093239/document（英文）“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5007961669“，”display_name“：”Julien Cretin“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1326498283“，”“display_name”：“Institute national de recherche en informatique et en automatique”，“错误”：“https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Julien Cretin“，”raw _ affiliation_strings“：[“INRIA”，“编程语言、类型、编译和证明”]，“从属关系”：[{“raw_affiliation_string”：“INRIA”，“institution_ids”：[“https://openalex.org/I1326498283“]}，{”raw_affiliation_string“：”编程语言、类型、编译和证明“，”institution_ids“：[]}]}、{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5085438928“，”display_name“：”Didier R\u00e9my“，”orcid“：”https://orcid.org/0000-0002-0693-6278}，“机构”：[{“id”：https://openalex.org/I1326498283“，”“display_name”：“Institute national de recherche en informatique et en automatique”，“错误”：“https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Didier R\u00e9my“，”raw_affiliation_strings“：[“INRIA”，“编程语言、类型、编译和证明”]，“从属关系”：[{“raw_affilition_string”：“INRIA”，“institution_ids”：[“https://openalex.org/I1326498283“]}，{”raw_affiliation_string“：”编程语言、类型、编译和证明“，”institution_ids“：[]}]}]，”institution_assertions“：[]，”countries_distinct_count“：1，”instistations_disting_count”：1，“corresponding_author_ids”：[]、“correscondition_institution_ids”：[[]，“apc_list”：null，“apc_payed”：null，“fwci”：null，“has_fulltext”：true，“fulltext_out”里根“：”pdf“，”cited_by_count“：7，”citation_normalized_percentile“：{”value“：0.917476，”is_in_top_1_percent“：false，”is-in_top_30_percennt“：true}，”citecd_by_percentile_year“:{”min“：83，”max“：84}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“1”，“last_page”：“10”}，‘is_retracted’：false、“is_paratext”：false ry_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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.9914，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9851，“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/强制“，”display_name“：”强制（语言学）“，”score“：0.8236384}，{”id“：”https://openalex.org/keywords/subtyping“，”display_name“：”Subtyping“，”score“：0.7707625}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.559168}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.548918}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.513861}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.504301｝]，”concepts“：[｛”id“：”https://openalex.org/C2777188754，“wikidata”：https://www.wikidata.org/wiki/Q5140822网址“，”display_name“：”强制（语言学）“，”level“：2，”score“：0.8236384}，{”id“：”https://openalex.org/C83852419，“wikidata”：https://www.wikidata.org/wiki/Q2713292“，”display_name“：”Subtyping“，”level“：2，”score“：0.7707625}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6599115}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”绑定函数“，”level“：2，”score“：0.5499163}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.44292334}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.32010648}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.17418301}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.07458794}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：7，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2603088.2603128“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://inria.hal.science/hal-01093239，“pdf_url”：https://inria.hal.science/hal-01093239/document（英文）“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://hal.inia.fr/hal-00934408，“pdf_url”：https://inria.hal.science/hal-00934408/document（英文），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”版本“：”提交版本“，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://hal.inia.fr/hal-01093239/document，“pdf_url”：https://hal.inia.fr/hal-01093239/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.464.1765，“pdf_url”：http://gallium.inria.fr/~remy/correcions/Cretin-remy！fcc@lics2014.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-00934408/file/RR-8456.pdf，“pdf_url”：https://hal.inia.fr/hal-00934408/file/RR-8456.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.473.8664，“pdf_url”：http://gallium.inria.fr/~remy/correcions/Cretin-remy！fcc@short2014.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://inria.hal.science/hal-01093239，“pdf_url”：https://inria.hal.science/hal-01093239/文档“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}“，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1482171176","https://openalex.org/W1506833497","https://openalex.org/W1515996291","https://openalex.org/W1525058018","https://openalex.org/W1549565321","https://openalex.org/W1973830501","https://openalex.org/W1985126655","https://openalex.org/W1991984504","https://openalex.org/W2001537085","https://openalex.org/W2029422023","https://openalex.org/W2038534598","https://openalex.org/W2051981528","https://openalex.org/W2068457689","https://openalex.org/W2080040385","https://openalex.org/W2123727486","https://openalex.org/W2140339738","https://openalex.org/W2165657834","https://openalex.org/W2911299022","https://openalex.org/W2911772578","https://openalex.org/W2963565418","https://openalex.org/W4206600381","https://openalex.org/W4213422035","https://openalex.org/W48121214“]，”related_works“：[”https://openalex.org/W4229853287","https://openalex.org/W3032826521","https://openalex.org/W2799110842","https://openalex.org/W2396009657","https://openalex.org/W2391332606","https://openalex.org/W2333832190","https://openalex.org/W2008549446","https://openalex.org/W1987896487","https://openalex.org/W1535483699","https://openalex.org/W1462775415“]，”abstract_inverted_index“：{”We“：[0,86]，”present“：[1]，”a“：[2,10,39,75]，”secondary“：[3]，”\u03bb-calculus“：[4]，”with“：[5,16,63,81]，”convertive“：[6,18,27,65]，”contractions“：%7]，”that“：[8,47,91,99]，”generalized“：[9]，”prior“：[11]，”extension“：[12]，”of“：[13,42,78106]，”“系统”：[14]，“F”：[15]，“参数”：[17,64]，“抽象”：[19]，“by”：[20]允许“：[21]，”多个“：[22]，”但是“：[23]，”同时“：[24]，”类型“：[25,44,53]，”和“：[26,34,56,67,82]，”抽象，“：[28]，”作为“：[29,31]，”well“：[30]，”递归“：[32]，”胁迫“：[33,90,98]，”等递归“：[3]，”类。“：[36]，”This“：[37]，”enables“：[38]，”uniform“：[40]，”presentation“：[41]，”severse“：[43]，”system“：%45]，”features“：%46]，”had“：[48]，”periold“：[49]，”been“：[50]，”studed“：[51]，”indically：“：[52]，”containment“：[54]，”bounded“：55]，”instance-bounded“：57]，”polymorphism“：58]，”which“：[59]，“are”：[60,92]，“already”：[61]，“encodable”：[62]，“abstration”，“：[66]，”ML样式“：[68]，”子类型“：[69]，”约束。“：[70]，“我们的”：[71]，“框架”：[72]，“允许”：[73]，“用于”：[74]，“清除”：[76]，“分离”：[77]，“语言”：[79]，“构造”：[80]，“没有”：[83]，“计算”：[84]，“内容”。“：[85]，”也“：[87]，”区分“：[88]，”相干“：[89]，”完全“：[93]，”可擦除“：[94]，”from“：[95]，”潜在“：[96]，”非相干“：[97]，”暂停“：[100]，”the“：[10101104]，”evaluation----and“：[102]，”enable“：[103]，”encoding“：[105]，”GADT。“：[107]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1975801890”，“counts_by_year”：[｛“year”：2024，“cited_by_count”：1｝，｛“year”：2021，“cited_by_count”：2｝，｛“year”：2019，“cited_by_count”：1｝，｛“year”：2017，“cited_by_count”：1｝，｛“year”：2016，“cited_by_count”：1｝，｛“year”：2015，“cited_by_count”：1｝]，“updated_date”：“2024-09-17T14:53:30.338551”，“created_date”：“2016-06-06 24英寸}