{“id”：“https://openalex.org/W3176239713“，”doi“：”https://doi.org/10.109/lics52264.2021.9470728“，”title“：”Parametricity and Semi-Cublical Types“，”display_name“：”参数和半三次类型“，”publication_year“：2021，”publiction_date“：”2021-06-29“，”ids“：{”openalex“：”https://openalex.org/W3176239713“，”doi“：”https://doi.org/10.109/lics52264.2021.9470728“，”mag“：”3176239713“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470728“，”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”：“”https://arxiv.org/pdf/2105.08422“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5016700769“，”display_name“：”Hugo Moeneclaey“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I204730241“，”display_name“：”Universit\u00e9 Paris Cit\u00e8“，”ror“：”https://ror.org/05f82e368“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I204730241“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Hugo Moeneclaey“，”raw _affiliation_strings“：[“Inria Paris，CNRS，IRIF，University \u00e9 de Paris，France”]}]“countries_distict_count”：1，“institutions_disticent_count”：2，“corresponding_author_ids”：[”https://openalex.org/A5016700769“]，”对应的机构ID“：[”https://openalex.org/I204730241","https://openalex.org/I1294671590“]，”apc_list“：null，”apc _ paid“：nul，”has_fulltext“：false，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”max“：63}，”biblio“：{volume“：null，”issue“：null，”first_page“：null}https://openalex.org/T10896“，”display_name“：”泊松流形的变形量化“，”score“：0.9996，”subfield“：{”id“：”https://openalex.org/subfields/2610“，”display_name“：”数学物理“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10896“，”display_name“：”泊松流形的变形量化“，”score“：0.9996，”subfield“：{”id“：”https://openalex.org/subfields/2610“，”display_name“：”数学物理“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9966，“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/T11673“，”display_name“：”Hom-Lie代数的变形和结构“，”score“：0.9961，”subfield“：{”id“：”https://openalex.org/subfields/2602“，”display_name“：”代数与数论“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.543085}]，”concepts“：[{”id“：”https://openalex.org/C78023250，“wikidata”：https://www.wikidata.org/wiki/Q657596“，”display_name“：”一元运算“，”level“：2，”score“：0.8152722}，{”id“：”https://openalex.org/C2779782106，“wikidata”：https://www.wikidata.org/wiki/Q4724020“，”display_name“：”代数理论“，”level“：3，”score“：0.76413995}，{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.71351093}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.5831612}，{”id“：”https://openalex.org/C156772000，“wikidata”：https://www.wikidata.org/wiki/Q864475“，”display_name“：”Functor“，”level“：2，”score“：0.5732706}，{”id“：”https://openalex.org/C199422724，“wikidata”：https://www.wikidata.org/wiki/Q41118“，”display_name“：”商“，”level“：2，”score“：0.52971053｝，｛”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段上的代数“，”level“：2，”score“：0.49191952｝，｛”id“：”https://openalex.org/C54884031，“wikidata”：https://www.wikidata.org/wiki/Q217413“，”display_name“：”范畴理论“，”level“：2，”score“：0.4668551}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.461842}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.43095684}，{”id“：”https://openalex.org/C188971069，“wikidata”：https://www.wikidata.org/wiki/Q1636734“，”display_name“：”泛代数“，”level“：3，”score“：0.4266531}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.41775182｝，｛”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.37333483}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.29859683}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”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/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470728“，”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://arxiv.org/abs/2105.08422，“pdf_url”：https://arxiv.org/pdf/2105.08422“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2105.08422，“pdf_url”：https://arxiv.org/pdf/2105.08422“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”可持续城市和社区“，”id“：”https://metadata.un.org/sdg/11“，”score“：0.77}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：22，”referrenced_works“：【”https://openalex.org/W1595870841","https://openalex.org/W2006941708","https://openalex.org/W2019626268","https://openalex.org/W2042204873","https://openalex.org/W2057292961","https://openalex.org/W2065987422","https://openalex.org/W2116438866","https://openalex.org/W2148275052","https://openalex.org/W2152414370","https://openalex.org/W2484548461","https://openalex.org/W2550513301","https://openalex.org/W2581592992","https://openalex.org/W2886891016","https://openalex.org/W2900009437","https://openalex.org/W2949164661","https://openalex.org/W2955814841","https://openalex.org/W2963096092","https://openalex.org/W2964835846","https://openalex.org/W3138202147","https://openalex.org/W3212273624","https://openalex.org/W326743114","https://openalex.org/W569543113“]，”related_works“：[”https://openalex.org/W4249733112","https://openalex.org/W4233993919","https://openalex.org/W223002628","https://openalex.org/W2175195909","https://openalex.org/W2030950371","https://openalex.org/W1859146454","https://openalex.org/W1607720949","https://openalex.org/W1507779663","https://openalex.org/W1498091675","https://openalex.org/W1494555245“]，”ngrams_url“：”https://api.openalex.org/works/W3176239713/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,78]，“construct”：[1]，“a”：[2,20,63,74,83]，“model”：[3,18]，“of”：[4,45,53]，“type”：[5,14,22,46]，“theory”：[6,47]，“enging”：[7]，“parametricity”：[8,31]，“from”：[9,88,96]，“an”：[10]，“任意”：[11]，“one.”：[12]，“a”：[13]，“in”：[15,23,49,73]，“the”：[16,24,28]，“new”：[17]，“is”：[19]，“semi-c立方体”：[21]，“old”：[25]，“one”，“：[26]，”说明“：[27]，”对应“：[29]，”在“：[30]之间，”和“：[32,48,68]，”立方体。我们的“：[33]，“构造”：[34]，“作品”：[35]，“非”：[36]，“仅”：[37]，“用于”：[38,42]，“参数”，：[39]，“但”：[40]，“还”：[41]，“相似”：[43,51]，“解释”：[44,52]，“事实”：[50]，“任意”：[54]，“广义”：[55,75]，“代数”：[56,76]，“理论”。“：[57,77]，”To“：[58]，”be“：[59]，”precise“：[60]，”we“：[61]，”consider“：[62]，”functor“：[64]，”遗忘“：[65]，”一元“：[66]，”运算“：[67]，”方程式“：[69]，”definiting“：[70]，”them“：[71]，”递归“：[72]，”show“：[79]，”that“：[80]，”it“：[81]，”has“：[82]，”right“：[84]，”伴随词。We“：[85]，“use”：[86]，“techniques”：[87]，“local”：[89]，“presentable”：[90]，“category”：[91]，“theory”，“：[92]，“as”：[93,95]，“well”：[94]，“商”：[97]，“inductive-inducative”：[98]，“types”。“：[99]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3176239713“，”counts_by_year“：[]，”updated_date“：”2024-05-22T20:21:30.379457“，”created_date:“2021-07-05”}“