{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T22:27:48Z”，“时间戳”：1725488868591}，“出版商位置”：“柏林，海德堡”，“参考计数”：22，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540439165“}，{”类型“：“electronic”，“value”：“9783540456100”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2002]]}，”DOI“：”10.1007\/3-540-45610-4_5“，”type“：”book-capter“，”created“：”{“date-part”：[2007,8,12]]，“date-time”：“2007-08-12T06:47:11 Z“，”时间戳“：118690123000}，”页面“：”51-65“，”源“：“Crossref”，“is-referenced-by-count”：0，“title”：[“静态分析超平衡\u03bb-Calculus中\u03b2-Reducation的模块性”]，“前缀”：“10.1007”，”author“：[{”given“：”Richard“，”family“：”Kennaway“，”sequence“：”first“，”affiliation“：[]}，{“given”：“Zurab”，“family”：“Khasidashvili”，“sequence”：“additional”，“afliation”：[]{，“givent”：“Adolf”o“，“family”：“Piperno”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“在线发布”：{“date parts”：[[2002,7,9]]}，“reference”：[{“issue”：“2”，“key”：“5_CR1”，“doi asserted by”：“publisher”，“first page”：“277”，“doi”：“10.1016/0304-3975（94）00279-7”，“volume”：“142”，“author”：“A.Asperti”，“year”：“1995”，“非结构化”：“Asperti，A.，Laneve，C。lambda演算中的路径、计算和标签。理论计算机科学142（2）：277\u20132971995。“，“期刊标题”：“理论计算机科学”}，{“key”：“5_CR2”，“unstructured”：“Asperti，A.，Danos，V.，Laneve，C.，Regnier，L.，lambda-calculus中的路径。计算机科学中的逻辑研讨会（LICS）论文集，IEEE计算机社会出版社，1994。”}doi-asserted-by“：”crossref“，”unstructured“：”Asperti，A.，Mairson H.G.，并行beta简化不是基本递归。程序中。ACM程序设计语言原理研讨会（POPL），1998年。“，”DOI“：”10.1145\/268946.268971“}，{“key”：“5_CR4”，“unstructured”：“Asperti A.，Guerrini S.函数编程语言的最佳实现。剑桥理论计算机科学丛书，剑桥大学出版社，1998。”}，“key“：”5_CR5“，”unstructure“：”Barendregt，H.，《兰姆达微积分》。其语法和语义（修订版）。北荷兰，1984年。“}，{”key“：”5_CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”Barendregt，H.，Lambda Calculi with Types.in Handbook of Logic in Computer Science，Vol.2，Oxford University Press，1992年。“doi”：“10.1093\/oso\/9780198537618.003.0002”}，“{”key“：“5_CR7”，“unstructure”：“H.P.Barendregt，J.A.Bergstra，J.W.Klop and H.”。Volken，关于lambda还原的一些注释，in：lambda演算中的度、还原和可表示性。预印本编号22，乌得勒支大学数学系，1976，13\u201353。“}，{”key“：”5_CR8“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”crossref“，”first page“：“180”，“doi”：“10.1007\/3-540-61064-2_37”，“volume-title”：“第19届国际代数与程序设计树木学术讨论会论文集，CAAP\u201996”，“作者”：“J.R.W。Glauert”，“年份”：“1996年”，“非结构化”：“Glauert，J.R.W.，Khasidashvili，确定性残余结构的相对规范化。In：程序。第19届代数与程序设计树国际学术讨论会，CAAP\u201996，Springer LNCS，第1059卷，H.Kirchner，1996年版，第180\u2013195页Kennaway，R.、Khasidashvili，Z.和Piperno，A.，超平衡\u03bb-calculus中\u03b2-reduction模块性的静态分析（完整版），网址：http://www.dsi.uniromal.it\/~Piperno\/。“}，{”key“：”5_CR11“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”crossref“，”first page“：“105”，“doi”：“10.1007\/3-540-52335-9_51”，“volume-title”：“国际计算机逻辑会议纪要，COLOG\u201988”，“author”：“Z.Khasidashvili”，“year”：“1990”，“unstructured”：“”Khasidashvili，Z.，\u03b2-还原和\u03b2-以最少的步骤开发\u03bb-项。In：程序。国际计算机逻辑会议，COLOG\u201988，Springer LNCS，417:105\u2013111，1990.“}，{”key“：”5_CR12“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”crossref“，”first page“：“243”，”doi“：”10.1007\/3-540-56868-9_19“，”volume-title“：“程序。第五届重写技术与应用国际会议，RTA\u201993“，“author”：“Z.Khasidashvili”，“year”：“1993”，“unstructured”：“Khasidashavili，Z.正交项重写系统中的最佳归一化。In：程序。第五届国际重写技术与应用会议，RTA\u201993，Springer LNCS，690:243\u20132581993.“}，｛“key”：“5_CR13”，“series title”：“Lect Notes Comput Sci”，“doi断言”：“crossref”，“first page”：“649”，“doi”：“10.1007\/3-540-63165-8_219”，“volume title”：“程序。第24届国际自动机、语言和编程学术讨论会，ICALP\u201997”，“作者”：“Z.Khasidashvili”，“年份”：“1997”，“非结构化”：“Khasidashavili，Z.，Glauert，J.R.W.正交约化空间的几何。程序中。第24届国际自动化、语言和编程学术讨论会，ICALP\u201997，Springer LNCS，第1256卷，P.Degano、R.Gorrieri和A.Marchetti-Paccamela，1997年版，第649\u2013659页。“”2001年，“非结构化”：“Khasidashvili，Z.，Ogawa，M.和van Oostrom，V.正交重写系统中的永久性和一致归一化。信息与计算，第164卷，第118\u2013151页，2001年程序。欧洲计算机科学逻辑协会年会，CSL\u201998”，“作者”：“Z.Khasidashvili”，“年份”：“1999”，“非结构化”：“Khasidash vili，Z.，Piperno，A.通过超级开发规范可定义术语。程序中。欧洲计算机科学逻辑协会年会，CSL\u201998，Springer LNCS，vol.1584，1999，p.260\u2013282“}，{“issue”：“3”，“key”：“5_CR16”，“doi-asserted-by”：“publisher”，“first page”：”381“，“doi”：“10.1093\/logcom\/10.3.381”，“volume”：：“10”，“author”：“Z.Khasidashvili”，“year”：“2000”，“unstructured”：“Khasidashvili，Z.，Piperno，A.规范化的句法分析。《逻辑与计算杂志》，第10卷（3）381\u2013410，2000年。“，“Journal-title”：“Journal of Logic and Computation”}，{“key”：“5_CR17”，“unstructured”：“Klop，J.W.，Combinary Reduction Systems.PhD论文，Matematisch Centrum Amsterdam，1980年。”}。Lamping，最佳lambda演算约简算法，in：Proc。第17届ACM交响乐团。《程序设计语言原理》（1990）6\u201330.“，”DOI“：”10.1145\/96709.96711“}，”key“：”5_CR19“，”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\u03ba-calculus和标记的\u03bs-calculos的代数解释。理论计算机科学，2:97\u20131141976。”，“期刊标题”：“理论计算机科学”}，{“关键”：“5_CR20”，“非结构化”：“L\u00e9vy，J.-J.，R\u00e 9eductions correcties et optimies dans le\u03bb-calcul.博士论文，巴黎大学，1978年7月。L\u00e9vy，lambda-calculus的最优约简，收录于：J.P.Seldin和J.R.Hindley，eds.，To H.B.Curry：《组合逻辑、lambda-calculus-形式主义论文》（学术出版社，1980年）159\u2013192volume-title“：”程序。第五届重写技术与应用国际会议，RTA\u201993”，“作者”：“F.Raamsdonk van”，“年份”：“1993”，“非结构化”：“van Raamskdonk，F.，Confluence and superdevelopments”。In：程序。第五届重写技术与应用国际会议，RTA\u201993，Springer LNCS，690:168\u20131821993.“}]，“容器标题”：[“计算机科学讲义”，“重写技术与应用”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.Springer.com\/content/pdf\/10.1007\/3-540-445610-4_5”，“内容类型”：“unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2024,2,17]]，”date-time“：”2024-02-17T10:34:38Z“，”timestamp“：1708166078000}，”score“：1，”resource“：{primary“：”{“URL”：“http://link.springer.com/10.1007\/3-540-45610-4_5”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期-部分”：[[2002]]}，“ISBN“：[”9783540439165“，”97835456100“]，”references-count“：22，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-45610-4_5“，”relationship“：{}，”ISSN“：【”0302-9743“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974 3”}]，“subject”：[]，“published”：{“date-parts”：[[2002]]}}}}