{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T00:25:02Z”，“时间戳”：1725582302818}，“出版商位置”：“柏林，海德堡”，“参考计数”：16，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“979 83642209192“}，{”类型“：“electronic”，“value”：“9783642209208”}]，“license”：[{“start”：{“date-parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：129384000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}]，“short-container-title”：[]，“published-print”：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-20920-8_22”，“type”：“book-chapter”，“created”：{”date-parts:[[2011,4,28]]，“date-time”：“2011-04-28T08:54:38Z”，“timestamp”：1303980878000}，”page“：”210-227“，”source“：“Crossref”，“is-referenced-by-count”：0，“title”：[“Decomposing the Lattice of Meaningless Set in无限Lambda微积分“]，”前缀“：“10.1007”，“author”：[{“given”：“Paula”，“family”：“Severi”，“sequence”：“first”，“affiliation”：[]}，{“fixed”：“Fer-Jan”，“家族”：“de Vries”，“序列”：“additional”，“从属关系”：[]}，“member”：“297”，“reference”：[}“key”：”22_CR1“series-title”：“Revied edn”，”volume-title“：”Lambda Calculus:Its Syntax and Semantics“，”author“：”H.P.Barendregt“，”年份“：“1984年”，“非结构化”：“Barendregt，H.P.：Lambda Calculus:Its Syntax and Semantics.Revised edn.North-Holland，Amsterdam（1984）”}，{“issue”：“2”，“key”：“22_CR2”，“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”：“22_CR3”，“首页”：“339”，“volume-title”：“逻辑与代数（Pontignano，1994）”，《作者》：“A.Berarducci”，“年份”：“1996”，“非结构化”：“Berarducci，A.：无限\u03bb-calculus和无意义模型。In:Logic and Algebra（Pontignano，1994），pp.339\u2013377。Dekker，New York（1996）“}，{“volume-title”：“格与秩序导论”，“year”：“1990”，“author”：“B.A.Davey”，“key”：“22_CR4”，“unstructured”：“Davey，B.A.，Priestly，H.A.：格与秩序概论。剑桥大学出版社，剑桥（1990）”}第一页“：“668”，“volume-title”：“Term Rewriting Systems”，“author”：“J.R.Kennaway”，“year”：“2003”，“unstructured”：“Kennawy，J.R.，de Vries，F.J.：无限重写。收录：Terese（编辑）Term Rewriting Systems。《剑桥理论计算机科学丛书》，第u00a055卷，第668\u2013711页。剑桥大学出版社，剑桥（2003）“}，{“key”：“22_CR6”，“series title”：“计算机科学讲义”，“doi断言者”：“出版商”，“首页”：“257”，“doi”：“10.1007\/3-540-59200-8_62”，“卷标题”：“重写技术与应用”，“作者”：“J.R.Kenneway”，“年份”：“1995”，“非结构化”：“Kennaway，J.R.，Klop，J.W.，Sleep，M.R.，de Vries，F.J.：无限lambda微积分和B\u00f6hm模型。收录：Xiang，J.（编辑）RTA 1995。LNCS，第u00a0914卷，第257\u2013270页。Springer，Heidelberg（1995）“}，{“问题”：“1”，“关键”：“22_CR7”，“doi-asserted-by”：“出版商”，“首页”：“18”，“doi”：“10.1006\/inco.1995.1075”，“卷”：“119”，“作者”：“J.R.Kennaway”，“年份”：“1995”，“非结构化”：“Kennaway，J.R.，Klop，J.W.，Sleep，M.R.，de Vries，F.J.：正交项重写系统中的超有限约化。信息与计算\u00a0119（1），18\u201338（1995）“，”日记标题“：”信息与计算“}，{“问题”：“1”，“关键”：“22_CR8”，“doi-asserted-by”：“publisher”，“首页”：“93”，“doi”：“10.1016\/S0304-3975（96）00171-5”，“卷”：“175”，”作者“J.R.Kennaway”，“年份”：“1997”，“非结构化”：“Kenneway，J.R.，Klop，J.W.，Sleep，M.R.，de Vries，F.J.：无限lambda微积分。理论计算机科学\u00a0175（1），93\u2013125（1997）”，“期刊标题”：“理论计算机科学”}，｛“键”：“22_CR9”，“系列标题”：“计算机科学讲义”，“doi断言”：“出版商”，“首页”：“148”，“doi”：“10.1007\/11601548_11”，“卷标题”：“过程、术语和周期：通往无限之路的步骤”，“作者”：“R。Kennaway”，“年份”：“2005年”，“非结构化”：“Kennawy，R.，Severi，P.，Sleep，R.、de Vries，F.-J.：无限重写：从语法到语义。摘自：Middeldorp，A.、van Oostrom，V.、van Raamsdonk，F.、de Vrijer，R.（编辑）《过程、术语和循环：通往无限之路的步骤》。LNCS，第u00a03838卷，第148\u2013172页。Springer，Heidelberg（2005）“}，{“key”：“22_CR10”，“unstructured”：“Kennaway，J.R.，van Oostrom，V.，de Vries，F.J.：重写中的无意义术语。《函数与逻辑编程杂志》1999年第1期（1999年2月）”}，}“issue”：“3”，“key“：”22_CR11“，“doi-asserted-by”：“publisher”，“first page”：《373》，“doi”：“10.1093\/logcom\/14.373”，《volume》：“14”，“author”“：”S.Lusin”，“年份”：“2004年”，“非结构化”：“Lusin，S.，Salibra，A.：lambda理论的晶格。逻辑与计算杂志\u00a014（3），373\u2013394（2004）“，”Journal-title“：”Journal of Logic and Computation“}，{”key“：”22_CR12“，”first page“：“379”，“volume”：“45”，“author”：“A.Salibra”，“year”：“2001”，“unstructured”：“Salibra，A.：lambda演算的非模块性结果。Fundamental Informaticae\u00a045，379\u201339（2001）”，“Journal-title”：“”Fundamental Informaticae“}，{“key”：“22_CR13”，“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“：”22_CR14“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“369”，”doi“：”10.1007\/11417170_27“，”volume-title“：“类型化Lambda Calculi and Applications”，”author“：”P.Severi“，”year“：”2005“，”unstructured“：”Severi，P.，de Vries，F.J.：lambda微积分中的连续性和不连续性。收录：Urzyczyn，P.（编辑）TLCA 2005。LNCS，卷\u00a03461，第369页\u2013385。Springer，Heidelberg（2005）“}，{”key“：”22_CR15“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“103”，”doi“：”10.1007\/11538363_9“，”volume-title“：“计算机科学逻辑”，”author“：”P.Severi“，”year“：”2005“，”unstructured“：”Severi，P.，de Vries，F.-J.：类b\u00f6hm模型上的顺序结构。收录：Ong，L.（编辑）CSL 2005。LNCS，第u00a03634卷，第103\u2013118页。Springer，Heidelberg（2005）“}，{“key”：“22_CR16”，“unstructured”：“Severi，P.，Vries，F.J.d.：d的Lambda微积分\n\u2009\u221e\u2009。技术报告，莱斯特大学（2002）“}”，“container-title”：[“计算机科学课堂讲稿”，“逻辑、语言、信息和计算”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-20920-8_22”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期-部分”：[[2019,5,23]]，“日期-时间”：“2019-05-23T05:33:46Z”，“时间戳”：1558589626000}，“分数”：1，“资源”：{“主要”:{“URL”：“http://\/link.springer.com\/10.1007\/978-3642-20920-8_22”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[2011年]]}，“ISBN”：[“9783642209192”，“978364 2209208”]，“references-count“：16，”URL“：”http://\/dx.doi.org\/10.1007\/978-3642-20920-8_22“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”value“：“1611-3399”}]，”主题“：[]，”发布“：{”date-parts“：[[2011]]}}}