{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,1,2]，“日期时间”：“2023-01-02T00:29:38Z”，“时间戳”：1672619378365}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540590484”，“类型”：打印“}，{”值“：“9783540491781”，“type”：“electronic”}]，“content domain”：｛“domain”：[]，“crossmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[[1995]]｝，“DOI”：“10.1007\/bfb014050”，“type”：“book chapter”，“created”：｛“date parts”：[[2005,11,23]]，“date time”：“2005-11-23T07:50:31Z”，“timestamp”：1132732231000｝，“page”：“139-153”，“来源”：“Crossref”，“is-referenced-by-count”：6，“title”：[“Expanding extensional polymobility”]，“prefix”：“10.1007”，”author“：[{“given”：“Roberto”，“family”：“Di-Cosmo”，“sequence”：“first”，“affiliation”：[]}，{“fiving”：“Adolfo”，”family“：”Pipemo“，”sequence“：”additional“，”afliation“[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2005,6,9]}，“参考”：[{“key”：“10_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：“Yohji Akama.论Mints对ccc-calculus的约化。在《Lambda calculus and Applications》中，LNCS中的数字664，第1\u201312页。Springer Verlag，1993.“，”DOI“：”10.1007\/BFb0037094“}，{“key”：“10_CR2”，“unstructured”：“Henk Barendregt.The Lambda Calculus；Its syntax and Semantics（修订版）.North Holland，1984。”}，“key“：”10_CR3“，”DOI-asserted-by“：”crossref“，”unstructure“：”皮埃尔·路易斯·居里和罗伯托·迪·科斯莫。具有surpjective配对和终端对象的\u03bb-calculus的汇流约化系统。在Leach、Monien和Artalejo，编辑，实习生。自动化、语言和编程（ICALP）会议，《计算机科学讲义》第510卷，第291\u2013302页。Springer-Verlag，1991.“，”DOI“：”10.1007\/3-540-54233-7_142“}，{“key”：“10_CR4”，“unstructured”：“Djordje Cubric.On free ccc.Distributed On the types mailing list，1992。”}，“{“key”：”10_CR5“，”unstructure“：”Roberto Di Cosmo和Delia Kesner。模拟无扩展的扩展。技术报告LIENS-93-11\/INRIA 1911，LIENS-DMI和INRIA，1993。“}、{”key“：”10_CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”Roberto Di Cosmo和Delia Kesner。一阶代数重写系统的模性质，递归和扩展lambda演算。在实习生。自动化、语言和编程（ICALP）会议，计算机科学讲义。Springer-Verlag，1994.“，“DOI”：“10.1007\/3-540-58201-0_90”}，{“key”：“10_CR7”，“unstructured”：“Roberto Di Cosmo和Delia Kesner。模拟无展开的展开。计算机科学中的数学结构，1994。初步版本可作为技术报告LIENS-93-11\/INRIA 1911获得。“｝，｛”key“：”10_CR8“，”doi断言由“：”crossref“，”非结构化“：”Daniel J.Dougherty。一些具有分类和和乘积的lambda演算。在第五届国际重写技术与应用会议（RTA）的会议记录中，1993年。“，”doi“：”10.1007\/3-540-56868-9_12“}，{“key”：“10_CR9”，“volume-title”：“博士论文，学位论文”，“author”：“A.Geser”，“year”：“1990”，“unstructured”：“Alfons Geser.相对终止.博士论文，毕业论文，Fakult\u00e4t f\u00fcr Mathematik und Informatik，University \u00e 4t Passau，Germau，1990。另请参阅：报告91-03，Ulmer Informatik-Berichte，University\u00e4t Ulm，1991。“}，{“key”：“10_CR10”，“unstructured”：“Colin Barry Jay和Neil Ghani。eta-expansion的优点。技术报告ECS-LFCS-92-243，LFCS，1992。爱丁堡大学。“}，{“key”：“10_CR11”，“volume-title”：“博士论文”，“作者”：“D.Kesner”，“年份”：“1993年”，“非结构化”：“Delia Kesner。La definition de functions par cas\u00e1 l’aide de motives dans des langages applications。巴黎十一大学博士论文，奥尔赛，1993年12月。出现。“}，{”key“：”10_CR12“，”unstructured“：”Gregory Mints.Teorija categorii i teoria dokazatelstv.i.Aktualnye problem logiki i metodologii nauky，第252\u20132781979页。“}”，{“key”：“10_CR13”，“unstructure”：“Dan Nesmith。Klop反例在高阶重写系统中的应用。Draft Paper，1989。”}“，”container-title“：[”计算机科学课堂讲稿“，”键入Lambda Calculi和应用“]，”原始标题“：[]，”链接“：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/BFb0014050”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“日期-部件”：[2020,4,11]]，“日期-时间”：“2020-04-11T04:37:58Z“，”timestamp“：1586579878000}，”score“：1，”resource“：{”primary“：”URL“：”http://\/link.springer.com/10.1007\/BFb0014050“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1995]]}，《ISBN》：[“9783540590484”，“9783541781”]，“references-count”：13，“URL”：“http”：\/\/dx.doi.org\/10.1007\/BFb0014050“，”关系“：{}，”ISSN“：[”0302-9743”，“1611-3349”]，“issn type”：[｛“value”：“0302-9743”，“type”：“print”｝，｛“value”：“1611-3349”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[1995]]｝｝