{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T11:13:39Z”，“时间戳”：1648811619003}，“出版商位置”：“柏林，海德堡”，“参考计数”：20，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540592006”，“类型”：打印“}，{”值“：“9783540492238”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1995]]}，”DOI“：”10.1007\/3-540-59200-8_51“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T17:05:53 Z“，”时间戳“：1330275953000}，”页面“：”102-116“，”源“：“Crossref”，“is-referenced-by-count”：4，“title”：[“\u03b4\u03bf！\u2208=1优化优化\u03bb-calculus实现”]，“prefix”：“10.1007”，”author“：[{”given“：”Andrea“，”family“：”Asperti“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[2005,6,1]]}，“reference”：[{“key”：“10_CR1”，“unstructured”：“A。阿斯佩蒂。线性逻辑、Comonad和最优约简。出现在《基础信息学》（Fundamental Informaticae）上，这是一期专门讨论计算机科学类别的专刊。1994.“}，{“key”：“10_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“A.Asperti，C.Laneve.交互系统中的最优约简。第四届软件开发理论与实践联合会议的议事录，TAPSOFT’93，Orsay（法国），1993年4月。”，“doi”：“10.1007\/3-540-56610-4_84”}非结构化“：”A.Asperti，C.Laneve。\u03bb-calculus中的路径、计算和标签。发表在蒙特利尔RTA'93特别版《理论计算机科学》上。1993年6月。”，“DOI”：“10.1007\/3-540-556868-9_13”｝，｛“key”：“10_CR4”，“DOI断言者”：“crossref”，“非结构化”：“A.Asperti，C.Laneve。交互系统I：最优约简理论。出现在《计算机科学数学结构》1994年版中。”，“DOI”：“10.1017\/S09960129500000566”｝，｛“key”：“10_CR5”，“DOI断言者”：“crossref”，“非结构化”：“A.Asperti，C.Laneve。在共享图中关联\u03bb-calculus翻译。程序。第二届国际键入兰姆达微积分及应用会议，1995年，苏格兰爱丁堡。1995.“，”DOI“：”10.1007\/BFb0014041“}，{“key”：“10_CR6”，“DOI-asserted-by”：“crossref”，“unstructured”：“A.Asperti，V.Danos，C.Laneve，L.Regnier。\u03bb-calculus中的路径：三年没有理解的沟通。LICS’94会议记录。巴黎。1994年，“DOI”：“10.1109\/LICS.1994.316048”}，{“key”：“10_CR7”，“unstructured”：“V.Danos，L.Regnier.局部和异步β-约简.第八届计算机科学逻辑年会（LICS 93）议事录，蒙特利尔，1993。”}。字段。lambda口译员的懒惰和优化：规范和分析工具。程序。第17届ACM程序挖掘语言原理研讨会（POPL 90）。1990年，“DOI”：“10.1145\/96709.96710”}，{“key”：“10_CR9”，“DOI-asserted-by”：“crossref”，“unstructured”：“J.Y.Girard.线性逻辑.理论计算机科学，50。1986.“，“DOI”：“10.1016\/0304-3975（87）90045-4”}，{“key”：“10_CR10”，“unstructured”：“J.Y.Girard。交互几何I：系统F的解释。In Ferro，Bonotto，Valentini and Zanardo eds.，Logic Collocium’88，North Holland。”}。吉拉德。交互几何II：无死锁算法。程序。国际计算机逻辑会议（COLOG 88），P.Martin L\u00f6f和G.Mints编辑，Springer Verlag。1988.“}，{“key”：“10_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“G.Gonthier，M.Abadi，J.J.L\u00e9vy.最佳lambda约简的几何结构。第19届程序设计语言原理研讨会（POPL 92）议事录，1992年。”，“doi”：“10.1145\/143165.143172”}，}“key:”10_CR13“doi-sserted-by。阿巴迪，J.J.L\u00e9vy。无框线性逻辑。程序。第七届计算机科学逻辑年度研讨会（LICS'92）。1992.“，”DOI“：”10.1109\/LICS.1992.185535“}，{“key”：“10_CR14”，“DOI-asserted-by”：“crossref”，“unstructured”：“Y.Lafont.Interaction Nets.Proc.of the 17th Symposium on Principles of Programming Languages（POPL 90）.San Francisco.1990.”，”DOI:“10.1145\/967096718”}，“key“：”10_CR15“DOI-sserted-by“：”crossref.“，“unsructured“：”J。兰平。一种优化lambda演算约简的算法。施乐PARC内部报告。1989.“，”DOI“：”10.1145\/96709.96711“}，{“key”：“10_CR16”，“DOI-asserted-by”：“crossref”，“unstructured”：“J.Lamping.优化lambda演算约简的算法.第17届程序设计语言原理研讨会（POPL 90）议事录.旧金山，1990。”，“DOI”：“10.1145\/96709.96711”}，“key“：”10_CR17“，”非结构化“J.J。征收。还原法修正并优化了dans le lambda-calcul。Paxis VII大学博士学位。1978.“}，{”key“：”10_CR18“，”unstructured“：”J.J.L\u00e9vy.lambda-calculus的最佳约简。编辑J.P.Seldin和J.R.Hindley，To H.B.Curry，《组合逻辑、lambda微积分和形式主义论文》，第159\u2013191页。学术出版社。1980.“}，{”key“：”10_CR19“，”unstructured“：”X.Leroy，M.Mauny。Caml Light系统，0.5版。文档和用户手册。INRIA技术报告。1992年9月。“}，{“key”：“10_CR20”，“unstructured”：“L.Regnier.Lambda Calcul et R\u00e9seaux.Th\u00e博士，巴黎第七大学，1992年。”}]，“container-title”：[“重写技术与应用”，“计算机科学课堂笔记”]，“原文标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-59200-8_51.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,12,31]]，”date-time“：“2021-12-31T09:04:37Z”，”timestamp“：1640941477000}，”score“：1，”resource“：”{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/3-540-59200-8_51“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[1995]]}，“ISBN”：[“9783540592006”，“9783549228”]，”引用计数“：20，”URL“：”http://\/dx.doi.org\/10.10007\/3-504-59200-8_51“，”关系“：{}，‘ISSN’：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-974“，”type“:”print“}，{”value“：”1611-3349“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[1995]]}}