{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,9,13]]，“日期-时间”：“2023-09-13T19:52:34Z”，“时间戳”：1694634754307}，“引用-计数”：16，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“3”，“许可证”：[{“开始”：{:“日期-零件”：[[2009,3,4]]，“时间”：“2009-03-04T00:00:00Z”，“时间戳”用法：123612480000}，“content-version”：“unspecified”，“delay-in-days”：4659，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[[1996,6]}”，“abstract”：“”我们将其公理化项重写系统和Klop\u2019s正交组合约简系统中的置换等价性（Klop 1980）。前者的公理是由Meseguer（Meseguer 1992）提出的一般方法提供的。后者需要额外的公理来模拟减少和替代操作之间的相互作用<\/jats:p>由于这项工作，置换等价的定义摆脱了通常很重的剩余计算<\/jats:p>“，”DOI“：”10.1017\/s0960129500000980“，”type“：”journal-article“，”created“：{”date-parts“：[[2009,3,4]]，”date-time“：”2009-03-04T09:00:02Z“，”timestamp“：1236157202000}“，”page“：“219-249”，“source”：“Crossref”，“is-referenced-by-count”：19，“title”：[“公理化置换等价”]，“前缀”：“10.1017”，“卷”：“6”，“作者”：[{“给定”：“Cosimo”，“family“：”Laneve“，”sequence“：”first“，”affiliation“：[]}，{”given“：”Ugo“，“family”：“Montanari”，“sequence”：“additional”，“affiliation:[]}]，“member”：“56”，“published-on-line”：{“date-parts”：[[2009,3,4]]}、“reference”：[{“key”：“S0960129500000980_ref011”、“首页”：“159”，”volume-title“致H.B。柯里，《组合逻辑、兰姆达微积分和形式主义论文》，“作者”：“L\u00e9vy”，“年份”：“1980”}，{“密钥”：“S09601950000980_ref015”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0890-5401（90 18-2“}，{“键”：“S0960129500000980_ref003”，“第一页“：“169”，“卷-时间”：“语义代数方法”，“作者”：“Boudol”，“年份”：“1985”}，{“关键字”：“S09601250000980_ref002”，”卷-时间“：“一般丘吉尔定理”，“作家”：“Aczel”，“年”：“1978”}、{“key”：“SO095129500000980_ref016”，“doi-asserted-by”：“出版商”，“doi”：“10.1016\/0304-3975（93）909 240-T“}，{”键“：”S09629500000980_ref010“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/BFb0013837”}，{“key”：“S09601950000980_ref005”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/0304-3975（92）90087-V“}，”key“：”S0960129500000980_rf006“，‘volume-title’：”组合逻辑“，”author“：”Curry“，”year“：”1974“}”，{“key”：“S0960129500000980_ref001”，“doi-asserted-by”：“crossref”，“非结构化”：“Abadi M.，Cardelli L.，Curien P.L.和L\u00e9vy J.J.（1990）显式替换。摘自：Proceedings 17-ACM Symposium on Principles of Programmining Languages 59\u201371.“，”DOI“：”10.1145\/967096712“}，{“key”：”S09601950000980_ref004“，”DOI-serted-by“：”crossref“，“first page”：“433”，“DOI”：”10.3233\/FI-1988-11406“，”volume“：”11“，”author“：”Boudol“，”year“：”1988“，”journal-title“：”Fundamental Informacae“}”，{”key“：“”S0960129500000980_ref007“，“非结构化”：“Klop J.W.（1980）组合还原系统，博士论文，阿姆斯特丹数学中心。“}，{”key“：”S0960129500000980_ref009“，”doi-asserted-by“：”crossref“，”first page“：“333”，”doi“：”10.3233\/FI-1994-2043“，”article-title“：”\u03bb-calculus的分布评估“，”volume“：ted-by“：”publisher“，”doi“：”10.1016\/0304-3975（92）90182-F“}，{“key”：“S09K129500000980_ref008”，“doi-asserted-by”：“publisher”，”doi“：“10.1016\/0304-375（93）90091-7”}，[key“：”S0960129500000980 _ref014“，”volume-title“：”语义代数方法“，”author“：”Meseguer“，”year“：”1985“}]，“container-title”：[“计算机科学中的数学结构”]，“原始标题”：[]，“language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500000980“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，“deposed”：{“date-parts”：[2021,10,2]，“date-time”：“2021-10-02T16:31:57Z”，“timestamp”：1633192317000}，“分数”：1，“resource“：{”primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S090129500000980\/type\/journal_article”}}，“副标题”：[]，“短标题”：[]，“已发布”：{-“日期-部件”：[[1996,6]]}，”references-count“：16，”journal-issue“：{-问题”：“3”，“published-print”：{-date-parts“：[[19996,6]]}}”alternative-id“：[”S0960129500000980“]，“URL”：“http:\/\/dx.doi.org\/10.1017\/s0960129500000980“，”关系“：{}，”ISSN“：[”0960-1295“，”1469-8072“]，”ISSN-type“：[{”value“：”09601295“，”type“:”print“}，{”value“：”1469-80072“，”类型“：”electronic“}]，”主题“：[]，”发布“：{”日期部分“：[1996,6]]}}}}