×

表达式约简系统和扩展:概述。 (英语) Zbl 1171.68510号

Middeldorp,Aart(编辑)等人,《过程、术语和循环:通向无限的道路上的步骤》。在简·威廉·克洛普60岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 3-540-30911-X/pbk)。计算机科学课堂讲稿3838496-553(2005)。
摘要:表达式约简系统是一种用于高阶重写的形式主义,扩展了术语重写系统和lambda-calculus。在这里,我们概述了有关ERS的文献中的结果。我们回顾了正交ERS的汇合、归一化和永久性结果。其中一些结果被扩展到正交条件ERS。此外,还介绍了带模式的ERS,并讨论了它们的融合。最后,将高阶重写转化为等式一阶重写。该技术基于de Bruijn索引开发了具有变量名的ERS同构模型。
关于整个系列,请参见[Zbl 1097.68007号].

MSC公司:

2012年第68季度 语法和重写系统
03B40型 组合逻辑与lambda演算

软件:

米兰达
PDF格式BibTeX公司 XML格式引用
全文: 内政部