{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,3,29]]，“日期时间”：“2022-03-29T20:52:20Z”，“时间戳”：1648587140995}，“出版商位置”：“柏林，海德堡”，“参考计数”：20，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540255932”，“类型”：“打印”}，{“值”：“9783540320142”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/11417170_27“，”type“：”book-capter“，”created“：”{“date-part”：[2010,12,16]]，“date-time”：“2010-12-16T19:29:35Z”，“timestamp”“：1292527775000}，”页面“：”369-385“，”源“：“Crossref”，“is-referenced-by-count”：3，“title”：[“Lambda Calculus中的连续性和不连续性”]，“prefix”：“10.1007”，”author“：[{”given“：”Paula“，”family“：”Severi“，”sequence“：”first“，”affiliation“：[]}，”givent“：”Fer-Jan“，”家族“：”de Vries“，”序列“：”additional“，”filiation _CR1“，”doi-asserted-by“：“crossref”，“DOI”：“10.1017\/CBO9780511983504”，“volume-title”：“Domains and Lambda-Calculi”，“author”：“R.M.Amadio”，“year”：“1998”，“unstructured”：“Amadio，R.M.，Curien，P.-L.：Domains和Lambda-Calculi。剑桥大学出版社，剑桥（1998）”}，{“key”：“27_CR2”，“非结构化”：“Barendregt，H.P.：Lambda Calculus:Its Syntax and Semantics，修订edn.North-Holland，Amsterdam（1984）”}，{“issue”：“2”，“key”：“27_CR3”，“doi-asserted-by”：“publisher”，“first page”：《299》，“doi”：“10.1016\/0304-3975（93）90076-6”，“volume”：第114页，“author”：“M.Barr”，“year”：“1999”，“unstructured”：“Barr，M.：集上内函子的终端余代数。理论计算机科学\u00a0114（2），299\u2013315（1999）”，“期刊标题”：“理论计算机科学”}，{“key”：“27_CR4”，“首页”：“339”，“volume-title”：“逻辑与代数（Pontignano，1994）”，《作者》：“A.Berarducci”，“年份”：“1996”，“非结构化”：“Berarducci，A.：无限\u03bb-calculus和无意义模型。In:Logic and algebration（Pontignano，1994），pp.339\u2013377。Dekker，New York（1996）“}，{”key“：“27_CR5”，”doi-asserted-by“：”publisher“，”first page“：”59“，”doi“：”10.1006\/inco.2000.2876“，”volume“：‘159’，”author“：”I.Bethke“，”year“：”2000“，”unstructured“：”Bethke，I.，Klop，J.W.，de Vrijer，R.：术语重写中的后代和起源。信息与计算\u00a0159，u2013124（2000）“，”journal al标题“：”信息与计算“｝，｛“issue”：“2”，“key”：“27_CR6”，“doi asserted by”：“publisher”，“首页”：“85”，“doi”：“10.1016\/0890-5401（87）90042-3”，“volume”：“72”，“author”：“M.Coppo”，“year”：“1987”，“nonstructured”：“Coppo，M.，Dezani Ciancaglini，M.，Zacchi，M.：类型理论、范式和\n\n\n\n$｛D｝\\sb\\infty$\n-lambda模型。信息与计算\u00a072（2），85\u2013116（1987）“，”日记标题“：”信息与计算“}，{“问题”：“1”，“关键字”：“27_CR7”，“doi-asserted-by”：“publisher”，“首页”：“71”，“doi”：“10.1016\/0304-3975（91）90040-9”，”卷“：”83“作者”：“N.Dershowitz”，“年份”：“1991”，“非结构化”：“Dershowitz，N.、Kaplan，S.、Plaisted，D.：重写、重写、重写，。。。。理论计算机科学\u00a083（1），71\u201396（1991）“，“期刊标题”：“理论计算机科学”}，{“问题”：“2”，“关键”：“27_CR8”，“doi-asserted-by”：“出版商”，“首页”：“255”，“doi”：“10.1016\/S0304-3975（02）00809-5”，“卷”：“298”，《作者》：“M.Dezani-Ciancaglini”，“年份”：“2003”，“非结构化”：“Dezani-Ciancaglini，M.，Severi，P.，de Vries，F.J.：无限lambda演算和Berarducci树的判别。理论计算机科学\u00a0298（2），275\u2013302（2003）“，“期刊标题”：“理论计算机科学”}，{“关键字”：“27_CR9”，“系列-标题”：《计算机科学讲义》，“doi-asserted-by”：“crossref”，“首页”：“257”，“doi”：“10.1007\/3-540-59200-8_62”，“卷-标题”“重写技术与应用”，“作者”：“J.R.Kennaway”，“年份”：“1995年”，“非结构化”：“Kennaway，J.R.，Klop，J.W.，Sleep，M.，de Vries，F.J.：无限lambda微积分和B\u00f6hm模型。收录：Hsiang，J.（编辑）RTA 1995。LNCS，第u00a0914卷，第257\u2013270页。Springer，Heidelberg（1995）“}，{”issue“：”1“，”key“：”27_CR10“，”doi-asserted-by“：”publisher“，”first page“：“93”，“doi”：“10.1016\/S0304-3975（96）00171-5”，“volume”：“175”，“author”：“J.R.Kennaway”，“year”：“1997”，“unstructured”：“Kennawy，J.R.，Klop，J.W.，J.，Sleep，M.，de Vries，F.J.：无限lambda微积分。理论计算机科学\u00a0175（1），93\u2013125（1997）“，“期刊标题”：“理论计算机科学”}，{“key”：“27_CR11”，“unstructured”：“Kennaway，J.R.，van Oostrom，V.，de Vries，F.J.：重写中的无意义术语。J.Funct.Logic Programming，Article \u00a01，35 p术语重写系统。《剑桥理论计算机科学丛书》，第u00a055卷，第668\u2013711页。剑桥大学出版社，剑桥（2003）“}，{”issue“：”1“，”key“：”27_CR13“，”doi-asserted-by“：”publisher“，”first page“：“97”，“doi”：“10.1016\/0304-3975（76）90009-8”，“volume”：“2”，“author”：“J.-J.L\u00e9vy”，“year”：“1976”，“unstructured”：“L\u00e9vy，J.-J.：对\u03bb\u03b2 K-演算的代数解释，以及标记的\u03bs-calculus的应用。理论计算机科学\u00a02（1），97\u2013114（1976）“，“期刊标题”：“理论计算机科学”}，{“key”：“27_CR14”，“unstructured”：“Ong，C.-H.L.：懒惰lambda演算：函数编程基础的调查。剑桥大学博士论文（1992）”}Severi，P.，de Vries，F.J.：用于\n\n\n${D}\\sb\\infty$\n的lambda演算。技术报告，莱斯特大学（2002）“}，{”key“：”27_CR16“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“159”，”doi“：”10.1007\/3-540-45610-4_12“，”volume-title“：“重写技术和应用”，”author“：”P.Severi“，”year“：”2002“，”unstructured“：”Severi，P.，de Vries，F.J.：一个扩展的B\u00f6hm模型。收录：Tison，S.（编辑）RTA 2002。LNCS，卷\u00a02378，第159\u2013173页。Springer，Heidelberg（2002）“}，{”key“：”27_CR17“，”首页“：”641“，”volume-title“：”计算机科学中的逻辑手册“，”author“：”M.Smyth“，”year“：”1993“，”unstructured“：”Smyth，M.：拓扑。in:Abramsky，S.，Gabbay，D.M.，Maibaum，T.S.E.（eds.）《计算机科学中逻辑手册》，vol.\u00a01，pp.641\u2013762。牛津大学出版社，牛津（1993）“}，{“key”：“27_CR18”，“unstructured”：“Wadsworth，C.P.：Lambda-calculus.博士论文，牛津大学（1971）”}，“issue”：“3”，“key“：”27_CR19“，”doi-asserted-by“：”publisher“，”first page“：“337”，“doi”：“10.1137\/0207028”，“volume”：”7“，“author”：“C.P.Wadsworh”，“year”：“1978”，“非结构化“：”Wadsworth，C.P.：近似约简和lambda演算模型。SIAM计算机杂志\u00a07（3），337\u2013356（1978）“，”期刊标题“：”SIAM计算机期刊“}，{“key”：“27_CR20”，“series-title”：“LNCS”，“doi-asserted-by”：“publisher”，“first page”：”122“，”doi“：”10.1007\/BFBb0029522“，”volume-title“：”Lambda Calculus and Computer Science Theory“，”author“：”P.Welch“，”year“：”1975“，”unstructured“：”Welch，P.：连续语义和由内而外的约简。摘自：B\u00f6hm，C.（编辑）《兰姆达微积分与计算机科学理论》。LNCS，第u00a037卷，第122\u2013146页。Springer，Heidelberg（1975）“}”，“container-title”：[“计算机科学课堂讲稿”，“Lambda Calculi和应用”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/11417170_27”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2019,3,22]]，”date-time“：”2019-03-22T19:52:38Z“，”timestamp“：1553284358000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com/10.1007\/11417170_27“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[2005]]}，《国际标准图书编号》：[“9783540255932”，“9783839”540320142“]，”references-count“：20，”URL“：”http:\/\/dx.doi.org\/10.1007\/11417170_27“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”主题“：[]，”published“：{”date-parts“：[2005]]}}}}