{“id”：“https://openalex.org/W3100695210“，”doi“：”https://doi.org/10.1017/s096012951500377“，”title“：”现代服装中的经典lambda演算“，”display_name“：”当代服装中的古典lambda微积分“，”publication_year“：2015，”publitation_date“：”2015-07-13“，”ids“：{”openalex“：”https://openalex.org/W3100695210“，”doi“：”https://doi.org/10.1017/s096012951500377“，”mag“：”3100695210“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500377“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，”type“：”journal“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”oaurl“：”https://arxiv.org/pdf/1211.5762“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5014002496“，”display_name“：”J.M.E.Hyland“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]｝]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”J.M.E.HYLAND“，”raw_affiation_string“：[”英国剑桥大学纯数学和数学统计系电子邮件：“]，”附属机构“：[{”raw_affiation_string“：”英国剑桥大学纯粹数学和数学统计系电子邮件：“，”institution_ids“：[”https://openalex.org/I241749“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5014002496“]，”对应的机构ID“：[”https://openalex.org/I241749“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：1.336，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：21，”citation_normalized_percentile“：{”value“：0.96149，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：true}，”citected_by_percentile_year“：{”min“：91，”max“：92}，“biblio”：{“volume”：“27”，“问题”：“5”，“first_page”：“762”，“last_page”：“781”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.999，”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.999，”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.9989，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9976，”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/church-encoding网站“，”display_name“：”Church encoding“，”score“：0.6886003}，{”id“：”https://openalex.org/keywords/system-f“，”display_name“：”System F“，”score“：0.5944494}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.513247}，{”id“：”https://openalex.org/keywords/curry网站\u2013霍华德对应关系“，”display_name“：”库里\u2013霍华德对应关系“，”得分“：0.483672｝，｛”id“：”https://openalex.org/keywords/categorial-variable“，”display_name“：”类别变量“，”score“：0.46024767｝]，”concepts“：[｛”id“：”https://openalex.org/C77736955，“wikidata”：https://www.wikidata.org/wiki/Q1089708“，”display_name“：”Church encoding“，”level“：5，”score“：0.6886003}，{”id“：”https://openalex.org/C61237538，“wikidata”：https://www.wikidata.org/wiki/Q855192“，”display_name“：”简单类型lambda演算“，”level“：4，”score“：0.683939}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”“display_name”“：”“微积分（牙科）”“，”级别“：2，”分数“：0.65334463}，{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.6410713}，{”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然演绎“，”level“：2，”score“：0.62332964}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.5993509}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5975368}，{”id“：”https://openalex.org/C55128367，“wikidata”：https://www.wikidata.org/wiki/Q2552799“，”display_name“：”System F“，”level“：3，”score“：0.5944494}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.57629466}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.5464073}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.48696026}，{”id“：”https://openalex.org/C85343465，“wikidata”：https://www.wikidata.org/wiki/Q975734“，”display_name“：”Curry\u2013Howard通信“，”level“：3，”score“：0.483672}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”“display_name”“：”解释（哲学）“，”级别“：2，”分数“：0.46133742}，{”id“：”https://openalex.org/C5274069，“wikidata”：https://www.wikidata.org/wiki/Q2285707“，”display_name“：”类别变量“，”level“：2，”score“：0.46024767}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.3737499}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.2726628｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.19480965}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.076446}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”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/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500377“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1211.5762，“pdf_url”：https://arxiv.org/pdf/1211.5762，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：nul，“pdf_url“：”https://arxiv.org/pdf/1211.5762.pdf，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.1211.5762“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1211.5762，“pdf_url”：https://arxiv.org/pdf/1211.5762，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”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“：[]，“grants”：[]https://openalex.org/W2125224752","https://openalex.org/W3100695210“]，”referenced_works_count“：26，”referrenced_works“：[”https://openalex.org/W123923308","https://openalex.org/W1581049135","https://openalex.org/W174270456","https://openalex.org/W1853838474","https://openalex.org/W1965620900","https://openalex.org/W1989039217","https://openalex.org/W2012474994","https://openalex.org/W2036605992","https://openalex.org/W2049362364","https://openalex.org/W2060305077","https://openalex.org/W2088376608","https://openalex.org/W2095644892","https://openalex.org/W2107674601","https://openalex.org/W2123887510","https://openalex.org/W2143014812","https://openalex.org/W2148761448","https://openalex.org/W2154273644","https://openalex.org/W217388287","https://openalex.org/W2324455841","https://openalex.org/W2388408070","https://openalex.org/W2582948134","https://openalex.org/W4234881445","https://openalex.org/W613058558","https://openalex.org/W843469644","https://openalex.org/W846120698","https://openalex.org/W956923639“]，”related_works“：[”https://openalex.org/W4297361524","https://openalex.org/W4230977852","https://openalex.org/W4205386752","https://openalex.org/W32986836","https://openalex.org/W3123171335","https://openalex.org/W2761902706","https://openalex.org/W2337004052","https://openalex.org/W2189323991","https://openalex.org/W2153353244","https://openalex.org/W15855482631“]，”abstract_inverted_index“：{”Recent“：[0]，”developments“：[1]，”in“：[2,57]，”the“：[3,17,44,58,61]，”categorical“：[4,22]，”foundations“：[5]，”of“：[6,16,54,60]，”universal“：[7]，”algebration“：[8]，”have“：[9]，”givent“：[10]，”fresh“：[11]，”popurse“：[12]，”to“：[13,40]，”an“：[14]，“理解”：[15]，“lambda”：[18,62]，“微积分”：[19,63]，“来”：[20]，“来自”：[21]逻辑：“：[23]，”解释“：[25]，”是“：[26,34]，”a“：[27]，”半封闭“：[28]，”代数“：[29]，”理论。“：[30]，”斯科特“：[31]，”表示“：[32]，”定理“：[33]，”然后“：[35]，”完全“：[36]，”自然“：[37]，”和“：[38]，”引导“：[39]，”精确“：[41]，”原理“：[42]，”显示“：[43]，”本质“：[45]，”等价“：[46]，”with“：[47]，”more“：[48]，”熟悉“：[49]，”概念。“：[50]，”简单“：[51]，”抽象“：[52]，”证明“：[53]，”基本“：[55]，”结果“：[56]，”语义“：[59]，”是“：[64]，”给定的。“：[65]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3100695210“，”counts_by_year“：[{”年“：2024，”cited_by_count“：3}，{”年份“：2023，”ciped_by_cunt“：4}，”{“年份”：2022，“cited_by_count”：2}，“{”年度“：2021，”cited_by_count“年份”：2017年，“引用_ by_count”：1}，{“年份”:2016，“引用_by_counts”：1{“年度”：2015年，“引_ by_cunt”：1}，{“年份”：2014，“引用_ by_count”：2}]，“更新日期”：“2024-09-15T17:46:52.965065”，“创建日期”：”2020-11-23“}