{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期部分”:[[2023,1,2],“日期时间”:“2023-01-02T00:29:01Z”,“时间戳”:1672619341844},“出版商位置”:“柏林,海德堡”,“参考计数”:16,“出版者”:“斯普林格-柏林-海德堡(Springer Berlin Heidelberg)”,“isbn-type”:[{“值”:“9783540657637”,“类型”:“打印”},{“值”:“9783540489597”,“type”:“electronic”}],“license”:[{“start”:{“date-parts”:[[1999,1,1]],“date-time”:“1999-01-01T00:00:00Z”,“timestamp”:915148800000},“content-version”:“tdm”,“delay-in-days”:0,“URL”:“http:\\/www.springer.com\/tdm}],”content-domain“:{”domain“[”link.springer.com“],“crossmark-restriction”:false},“short-container-title”:[],“published-print”:{“date-parts”:[[1999]]},“DOI”:“10.1007\/3-540-48959-2_23”,“type”:“book-chapter”,“created”:{“date-parts”:[[2007,5,3]],“date-time”:“2007-05-03T12:52:16Z”,“timestamp”:1178196736000},”page“:”325-339“update-policy”:”http://\/dx.DOI.org\/10007\/springer_crossmark _策略“,”源“:”Crossref“,”is-referenced-by-count“:5,”title“:[“Characterising Explicit Substitutions which Preserve Termination”],“prefix”:“10.1007”,“author”:[{“given”:“Eike”,“family”:“Ritter”,“sequence”:“first”,“affiliation”:[]}],“member”:“297”,“published-online”:{“date-parts”:[[2002,5,27]]},“reference”:[}“issue”:“4”,“key”:”23_CR1“,“doi-asserted-by”:“,”内政部“:“10.1017\/S09567968800000186”,“volume”:“1”,“author”:“M.Abadi”,“year”:“1991”,“unstructured”:“Martin Abadi,Luca Cardelli,Pierre-Louis Curien,and Jean-Jaques L\u00e9vy.Explicit substitutions.Journal of Functional Programming,1(4):375\u20134161991.”,“Journal-title”:“Journal for Functional Programming”},{“key”:”23_CR2“,“doi-asserted-by”:“crossref”,“unstructured”:“Z.-E.A.Benaissa,D.Briaud,P.Lescane,and J.Rouyer-Degli。保持强正规化的显式替换演算。函数编程杂志,6(5),1996年。”,“DOI”:“10.1017\/S0956796800001945”},{“key”:“23_CR3”,“非结构化”:“R.Bloo and H。格乌弗斯。显式替换:处于强规范化的边缘。出现在理论计算机科学,1998年。“},{”key“:”23_CR4“,”unstructured“:”R.Bloo和K.H.Rose.通过显式替换和垃圾收集保持命名lambda计算的强正规化。在Proc.CSN\u201995-Computer Science in the Netherlands,第62\u201372页,1995年。“第一页“:”362“,”DOI“:”10.1145\/226643.226675“,”卷“:”43“,”作者“:”P.-L.Curien“,”年份“:”1996“,”非结构化“:”P--L.Currien、Th.Hardin和J.-J.L\u00e9vy。显式替换的弱计算和强计算的汇合性质。ACM杂志,43:362\u20133971996年3月。”,“期刊标题”:“ACM杂志”},{“key”:“23_CR6”,“unstructured”:“R.Di Cosmo和D.Kesner。通过证明网中的删减对显式替换进行强规范化。第12届IEEE计算机科学逻辑交响曲,第35\u201347页,1997年。”}、{“密钥”:“23 _ CR7”,“series-title”:“Lect Notes Compute Sci”,“首页”:“248”,“卷时间”:“Proc。第五届代数与逻辑编程国际会议(ALP)”,“作者”:“M.C.Ferreira”,“年份”:“1996年”,“非结构化”:“M.C.Ferreera,D.Kesner,and L.Puel。\u03bb-calculi具有显式替换和保持\u03b2-strong规范化的组成(扩展抽象)。程序中。第五届代数与逻辑程序设计国际会议(ALP)第1139卷,计算机科学讲义,第248\u2013298页,1996年卷“:”65“,”作者“:”T.Hardin“,”年份“:”1989“,”非结构化“:”Th\u00e9r\u00e8se Hardin。纯强范畴逻辑CCL的汇流结果。\u03bb结石作为CCL的子系统。理论计算机科学,65:291\u20133421989。“,“journal-title”:“理论计算机科学”},{“issue”:“4”,“key”:“23_CR10”,“doi-asserted-by”:“publisher”,“first-pages”:“395”,“doi”:“10.1017\/S0956797002785”,“volume”:”7“author”:“F.Kamaredine”,“year”:“1997”,“unstructured”:“F Kamaredne and A。里奥斯。用显式替换将lambda-calculus扩展为开放项上的汇合演算,从而保持强正规化。函数编程杂志,7(4):395\u2013420,1997。“,”Journal-title“:”Journal of Functional Programming“},{“key”:“23_CR11”,“unstructured”:“F.Lang和K.H.Rose.元项汇合的显式替换和强正规化保持的两个等价计算(一个是名称,一个是一阶).进行中。Westapp\u2019981998。“},{”key“:”23_CR12“,”series-title“:”Lect Notes Compute Sci“,”doi-asserted-by“:”crossref“,”first page“:“328”,”doi“:”10.1007\/BFb0014062“,”volume-title“:。梅莱斯。具有明确替换的d\u03bb型结石可能不会终止。程序中。TLCA\u201995,第328\u2013334页。LNCS 902,1995。“},{”key“:”23_CR13“,”unstructured“:”C.Munoz.显式代换演算中强正规化的合并和保持。第11届IEEE计算机科学逻辑交响曲,第440\u20134471996页。“}.”,{“key”:“23_CR14”,“series-title”:“Lect Notes Computer Sci”,“doi-asserted-by”:“crossref”,“first page”:”248“,“doi”:“”10.1007 \/3-540-63165-8_182“,”卷标签“:”程序。ICALP\u201997”,“作者”:“E.Ritter”,“年份”:“1997”,“非结构化”:“E.Ritter和V.de Paiva。关于显式替换和名称(扩展抽象)。程序中。ICALP\u201997,LNCS 1256,第248\u2013258页,1997。“},{”key“:”23_CR15“,”series-title“:”Lect Notes Compute Sci“,”doi-asserted-by“:”crossref“,”first page“:“295”,“doi”:“10.1007\/BFb0049338”,“volume-title”:“CSL\u2011993的进程”,“author”:“E.Ritter”,“年份”:“1994”,“非结构化”:“艾克·里特。具有显式替换的类型化lambda演算的规范化。程序中。CSL\u201993第295\u2013304页。LNCS 8321994.“},{”key“:”23_CR16“,”unstructured“:”K.H.Rose.显式替代-理论与调查。讲座系列LS-96-3,金砖四国,奥胡斯大学计算机科学系,1996年。“}],”container-title“:[”计算机科学讲座笔记“,”键入Lambda Calculi和应用程序“],”original-title”:[],“链接”:[{“URL”:“http:\/\/link.springer.com/content\/pdf\/10.1007\/3-540-48959-2_23“,“content-type”:“unspecified”,“content-version”:“vor”,“intended-application”:“similarity-checking”}],“deposed”:{“date-parts”:[[2019,5,19]],“date-time”:”2019-05-19T09:07:07Z“timestamp”:1558256827000},“score”:1,“resource”:{-“primary”:{“URL”:“http://\/link.springer.com/10.1007\/3-540-48959-2_23“}},”副标题“:[],”短标题“:[],”已发布“:{”日期部分“:[1999]]},“ISBN”:[“9783540657637”,“978354489597”],”引用计数“:16,”URL“:”http://\/dx.doi.org\/10.10007\/3540-48959-2-23“,”关系“:{},“0302-9743”],“ISSN-type”:[{“value”:“0302-7743”,“type”:“print”}],“subject”:[],“发布了“:{“date-parts”:[[1999]]},“assertion”:[{“value”:“2002年5月27日”,“order”:1,“name”:“first_online”,“label”:“first online”,”group“:{name”:”ChapterHistory“,”label“:”Cha章历史“}}]}