{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,4]，“日期时间”：“2022-04-04T07:34:17Z”，“时间戳”：1649057657207}，“引用计数”：24，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“DOI”：“10.1 109\/lics.1995.523265“，”类型“：“procesdings-article”，“created”：{“date-parts”：[2002,11,19]]，“date-time”：“2002-11-19T22:29:21Z”，“timestamp”：1037744961000}，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“Normalization and extensionality”]，“prefix”：“10.1109”，”author“：[{”given“A.”，“family”：“Piperno”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-56868-9_12”}，{“key”：“ref11”，“author”：“girard”，“year”：“1990”，“journal-title”：“Proofs and Types”}“doi”：“10.1112\/jlms\/s2-12.3.361”}，{“key”：“ref14”，“author”：“jay”，“年份”：“1992”，“新闻标题”：“eta-expansion的优点”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（93）90091-7”}\/0304-3975（76）90009-8“}，{“key”：“ref18”，“author”：“l\uffdfvy”，“year”：“1978”，“journal-title”：“R\ufffdirections correcties et optimies dans le？-calcul”}，{“key”：“ref19”，“author”：“micali”，“year”：“1979”，“日记标题”：“Actes de la sixi\uffdme\ufffdcole de printemps”？-calgol et semantique formelle des langages de programmation”}、{“key”：”ref4“author:”“barendregt”，“年份”：“1984”，“新闻标题”：《Lambda微积分——语法与语义（修订版）》，{“key”：“ref3”，“author”：“van bakel”，“year”：“1993”，“期刊标题”：“Lambda微积分中的交叉型学科和应用术语重写系统”}，{“key”：“ref6”，“year”：“0”}，{“key”：“ref5”，“year”：“1969”，“期刊标题”：“数学源书”}，{“key”：“ref8”doi-asserted-by“：”publisher“，”doi“：”10.1017\/S0960129500000505“}，{“key”：“ref7”，“author”：“di cosmo”，“year”：“1994”，“journal-title”：“国际自动机语言与编程会议（ICALP）”}，“key“：”ref2“，”article-title“：”微积分中的路径“，”author“：”asperti“，”year“：”1994“，”journal-title“”：“”IEEE计算机科学逻辑研讨会（LICS）“}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0037094”}ref22“，”doi-asserted-by“：”publisher“，”doi“：”10.2307\/2273377“}，{“key”：“ref21”，“author”：“regnier”，“year”：“1992”，“journal-title”：“Lambda-Calcul et R\uffdseaux”}，{”key“：”ref24“，”doi-asserted-by“：”publisher“，”doi“：”10.1137\/0205036“}，”key：“ref23”，“doi-assert-by”：“crossref”，“first page”：”198“，“doi”：“10.2307\/2271658”，“article-title“：“有限类型I泛函的内涵解释”，“体积”：“32”，“author”：“tait”，“year”：“1967”，“journal-title”：“journal of Symbolic Logic”}]，“event”：{“name”：“IEEE第十届计算机科学中的逻辑研讨会”，“location”：“San Deigo，CA，USA”，“缩写词”：“LICS-95”}，“container-title“：[”第十届IEEE计算机科学中逻辑研讨会论文集“]，“original-title:[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx3\/3961\/11443\/00523265.pdf？arnumber=523265”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部分”：[[2017,6,15]]，“日期-时间”：“2017-06-15T15:07:11Z”，“时间戳”：1497539231000}，“分数”：1，“资源”：{“主要”：{“URL”：“http://\/ieeexplore.iee.org\/document\/523265\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[null]]}，”引用计数“：24，”URL“：”http://\/dx.doi.org\/10.109\/lics.1995.523265“，”关系“：{}”，“主题”：[]}