{“id”：“https://openalex.org/W2130848143“，”doi“：”https://doi.org/10.109/lics.1999.782598“，”title“：”Some computational properties of intersection types“，”display_name“：”Some computative propertives of intersections“，“publication_year”：2003，”publication_date“：”2003-01-20“，”ids“：{”openalex“：”https://openalex.org/W2130848143“，”doi“：”https://doi.org/10.109/lics.1999.782598“，”mag“：”2130848143“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1999.782598“，”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://mclab.di.uniroma1.it/publications/papers/papers\Bucciarelli 1999.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5058911479“，”display_name“：”Antonio Bucciarelli“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I861853513“，”display_name“：”萨皮恩扎罗马大学“，”ror“：”https://ror.org/02be6w209“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I861853513“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”A.Bucciarelli“，”raw _affiliation_strings“：[“意大利罗马拉萨皮耶萨大学科学研究院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5091492593“，”display_name“：”S.De Lorenzis“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I861853513“，”display_name“：”萨皮恩扎罗马大学“，”ror“：”https://ror.org/02be6w209“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I861853513“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”S.De Lorenzis“，”raw _ afiliation_strings“：[“罗马大学，拉萨皮耶萨”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5077196285“，”display_name“：”Adolfo Piperno“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I861853513“，”display_name“：”萨皮恩扎罗马大学“，”ror“：”https://ror.org/02be6w209“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I861853513“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”A.Piperno“，”raw _affiliation_strings“：[“意大利罗马萨皮恩扎大学科学研究院”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5028335233“，”display_name“：”Ivano Salvo“，”orcid“：”https://orcid.org/0000-0003-3111-701X}，“机构”：[{“id”：https://openalex.org/I861853513“，”display_name“：”萨皮恩扎罗马大学“，”ror“：”https://ror.org/02be6w209“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I861853513“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”I.Salvo“，”raw _affiliation_strings“：[意大利罗马萨皮耶扎大学信息科学研究院“]}]，”countries_distiction_count“：1，”institutions_disticent_count“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：6，”cited_by_percentile_year“：{”min“：79，”max“：80}，”biblio“：{“volume”：null，”issue“：null”，“first_page”：null，“last_page”：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9991，”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.9991，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9639，“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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9574，”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.547991}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合“，”score“：0.543115｝，｛”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.508814}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”Separation Logic“，”score“：0.50798}]，”concepts“：[{”id“：”https://openalex.org/C136886441，“wikidata”：https://www.wikidata.org/wiki/Q926129“，”display_name“：”规范化（社会学）“，”level“：2，”score“：0.7925457}，{”id“：”https://openalex.org/C64543145，“wikidata”：https://www.wikidata.org/wiki/Q162942“，”display_name“：”十字路口（航空）“，”level“：2，”score“：0.771774}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.7395907}，{”id“：”https://openalex.org/C2780990831，“wikidata”：https://www.wikidata.org/wiki/Q319141“，”display_name“：”推测“，”级别“：2，”分数“：0.67490834}，{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”计算“，”级别“：2，”分数“：0.6349497}，{”id“：”https://openalex.org/C2778113609，“wikidata”：https://www.wikidata.org/wiki/Q10897“，”display_name“：”Lambda“，”level“：2，”score“：0.5134078}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4787347}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.45873228}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.44648695}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3353381}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.27578372}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C144024400，“wikidata”：https://www.wikidata.org/wiki/Q21201“，”display_name“：”社会学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C19165224，“wikidata”：https://www.wikidata.org/wiki/Q23404（网址：https://www.wikidata.org/wiki/Q23404）“，”display_name“：”人类学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”Aerospace engineering“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：2，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1999.782598“，”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://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.702.6822，“pdf_url”：http://mclab.di.uniroma1.it/publications/papers/papers\Bucciarelli 1999.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：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”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.702.6822，“pdf_url”：http://mclab.di.uniroma1.it/publications/papers/papers\Bucciarelli 1999.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：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}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：17，“referrenced_works”：https://openalex.org/W1572175282","https://openalex.org/W1598804765","https://openalex.org/W1970227944","https://openalex.org/W1973312452","https://openalex.org/W1976958863","https://openalex.org/W1988983596","https://openalex.org/W2071051275","https://openalex.org/W2085670481","https://openalex.org/W2086662978","https://openalex.org/W2095405219","https://openalex.org/W2119240423","https://openalex.org/W2149837936","https://openalex.org/W2154273644","https://openalex.org/W2211325406","https://openalex.org/W2296245053","https://openalex.org/W4388299483","https://openalex.org/W785213887“]，”related_works“：[”https://openalex.org/W3011538607","https://openalex.org/W2953716828","https://openalex.org/W2951695430","https://openalex.org/W2944728705","https://openalex.org/W2904857019","https://openalex.org/W2904022177","https://openalex.org/W2591697403","https://openalex.org/W2587702271","https://openalex.org/W2359348847","https://openalex.org/W1678057017“]，”ngrams_url“：”https://api.openalex.org/works/W2130848143/ngrams网站“，”“abstract_inverted_index”：{“This”：[0,61]，“paper”：[1]，“presents”：[2]，“a”：[3,65,69,79,83114117]，“new”：[4]，“method”：[5109]，“for”：[6]，“comparing”：[7]，“calculation-properties”：[8]，“of”：[9,78101116]，“/spl”：[10,29,59]，“lambda/-terms”：[11]，“typeable”：[12,20,43,71,85]，“带”：[13,16,21]，“交叉”：[14,38,74,97131]，“类型”：[15132]，“尊重“：[17]，”to“：[18,41,63,91112]，”terms“：[19]，”Curry“：[22,42137]，”types。“：[223138]，”In“：[24105]，”特别“：[25]，”strong“：[26,93]，”归一化“：[27,94]，”和“：[28]，”lambda/-可定义性“：[30]，”are“：[31133]，”调查。“：[32]，”A“：[33]，”翻译“：[34,55]，”是“：[35,52,56]，”引入“：[36]，”来自“：[37,68,82]，”键入“：[39]，”派生“：[40]，”术语；“：[44]，”the“：[45,49,54,73,96107]，”main“：[46]，”feature“：[47]，”proposed“：[50119]，”technique“：[51]，”that“：[53125]，”reserved“：[57]，”by“：[58,76,99120]，”beta/-reduction。“：[60]，”允许“：[62]，”模拟“：[64]，”计算“：[66,80]，”开始“：[67,81]，”术语“：[70]，”in“：[72,95122]，”规程“：[75]，”表示“：[77100]，”简单“：[84]，”词汇。“：[86]，“我们的”：[87]，“方法”：[88]，“自然”：[89]，“引导”：[90]，“证明”：[92]，“系统”：[98]，“纯粹”：[102]，“语法”：[103]，“技巧”。“：[104]，”addition，“：[106]，”presented“：[108]，”enables“：[110]，”us“：[111]，”give“：[113]，”proof“：[115]，”suburchitecture“：[118]，”Leivant“：121]，”1990，“：/123]，”即：[124]，“all”：[126]，“functions”：[127]，“uniformly”：[128]，“definitable”：[129135]，“using”：[130136]，“already”：[134]}，”cited_b y_api_url“：”https://api.openalex.org/works？filter=cites:W2130848143“，”counts_by_year“：[{”年份“：2019，”cited_by_count“：1}，{”年“：2012，”cited_by_count”：2}]，”更新日期“：”2024-05-13T12:02:11.327372“，”创建日期“：“2016-06-24”}