{“id”：“https://openalex.org/W1684110069“，”doi“：”https://doi.org/10.109/lics.1995.523265“，”title“：”Normalization and extensionality“，”display_name“：”Normalization and extensional“，”publication_year“：2002，”publiation_date“：”2002-11-19“，”ids“：{”openalex“：”https://openalex.org/W1684110069“，”doi“：”https://doi.org/10.109/lics.1995.523265“，”mag“：”1684110069“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1995.523265“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5077196285“，”display_name“：”Adolfo Piperno“，”orcid“：null}，”institutions“：[]，”countries“：[”IT“]，”is_corresponding“：true，”raw_author_name“:”A.Piperno”，“raw_affiliation_strings”：[”Dipartitmento di Sci.dell'Inf，Rome Univ.，Italy“]，“afliations”：[{”raw_affiliations_string“：”Dipartiationo di Sci.dell'Inf，罗马大学，Italy'，“institution_ids”：[]}]}]，“institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：0，”corresponding_author_ids“：[”https://openalex.org/A5077196285“]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：nully，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：2，”citation_normalized_percentile“：{“value”：0.0、“is_in_top_1_percent”：false，“is_intop_10_percennt”：false}，“cited_by_percentile_year”：{”min“：64，”max“：68}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9993，“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.9993，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9936，”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.977，“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/normalization网站“，”display_name“：”规范化（社会学）“，”score“：0.78908104}，{”id“：”https://openalex.org/keywords/extensionality网站“，”display_name“：”Extensionality“，”score“：0.7803732}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.492509}]，”concepts“：[{”id“：”https://openalex.org/C136886441，“wikidata”：https://www.wikidata.org/wiki/Q926129“，”display_name“：”规范化（社会学）“，”level“：2，”score“：0.78908104}，{”id“：”https://openalex.org/C150355047，“wikidata”：https://www.wikidata.org/wiki/Q965432“，”display_name“：”扩展性“，”级别“：2，”分数“：0.7803732}，{”id“：”https://openalex.org/C2778113609，“wikidata”：https://www.wikidata.org/wiki/Q10897“，”display_name“：”Lambda“，”level“：2，”score“：0.6172362}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.6070582}，{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”计算“，”级别“：2，”分数“：0.570411}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.52671295}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.44780856｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4378627}，{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.43717647}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4345035｝，｛”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.43203717}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.4221347}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.37002975}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.35621023}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.29051402}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.14517903}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.08233881}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”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“，”display_name“：”人类学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1995.523265“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：18，“referrenced_works”：[”https://openalex.org/W1497630311","https://openalex.org/W1510403819","https://openalex.org/W1553023270","https://openalex.org/W1593641477","https://openalex.org/W159715351","https://openalex.org/W1980647766","https://openalex.org/W1988292549","https://openalex.org/W1999005577","https://openalex.org/W2016850380","https://openalex.org/W2036605992","https://openalex.org/W2063179190","https://openalex.org/W2064236106","https://openalex.org/W2149837936","https://openalex.org/W2167533687","https://openalex.org/W2184268586","https://openalex.org/W4212868911","https://openalex.org/W4254218077","https://openalex.org/W785213887“]，”related_works“：[”https://openalex.org/W606151318","https://openalex.org/W4294387259","https://openalex.org/W3183982503","https://openalex.org/W3172122168","https://openalex.org/W3146610348","https://openalex.org/W2153353244","https://openalex.org/W2146437601","https://openalex.org/W2114701904","https://openalex.org/W1593641477","https://openalex.org/W1583714326“]，”abstract_inverted_index“：{”An“：[0]，”investment“：[1]，”on“：[2]，”the“：[3,40,43,91,96]，”interaction“：[4]，”between“：[5]，”/spl“：[6,9,16,44,51,61109]，”beta/-reduction“：[7]，”and“：[8,58,82]，”eta/-expansion“：[10]，”is“：[11,22]，”provided“：[12]，”in“：[13,32,82]76111]，“a”：[14,30,49,59]，“labeled”：[15]，“lambda/-演算”：[17]，“where”：[18]，“additional“：[19]，”information“，”：[20]，“that”：[21]，“composited”：[23]，“by”：[24]，“integers”，“：[25]，“can”：[26]，“be”：[27]，“considered”：[28]，“as”：[29]，“type”：[31]，“an”：[33]，“abstract”：[34]，“sense”。“：[35]，”This“：[36]，”leads“：[37]，”to“：[38,69,99]，”propose“：[39]，”spliting“：[41]，”of“：[42,85,93102]，”beta/-rule“：[45,52]，”into“：[46]，”two“：47]，”parts:“：[48]，”restricted“：[50]，”（/spl“：[P3,63]，”beta//sup“：[54]，”+/），“：[55]，”strongly“：[56]，“规范化”，：[57]，“反转”：[60]，“eta/-规则”：[62]，“esta//sup”：[64]，“-/），”：[65]，“which”：[66]，“comes”：[67]，“out“：[68]，”have“：[70]，”different“：[71]，”computative“：[22]，”interpressions“：[73]，”for“：[74106]，”reduction“：[75]，”untyped“：[77]，”typed“:[79108]，”calculi“：[80]，”（static“：[81]，”dynamic“：+83]，”allocation“：[84]，”计算“：[86]，”resources，“：[87]，”分别）。“：[88]，”To“：[89]，”motive“：[90]，”opportunity“：[92]，”this“：[94]，”spliting“，：[95]，”paper“：[97]，”hints“：[98]，”new“：[100]，”proof“：[101]，”strong“：[103]，”normalized“：[104]，”定理“：[105]，”some“：[107]，”lambda/-calculi“：[110]，”Curry“：[112]，”style。“：[113]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W1684110069“，”counts_by_year“：[]，”updated_date“：”2024-09-20T00:39:11.965974“，”created_dates“：”2016-06-24“}“