杰罗·凯特马;雅各布·格鲁·西蒙森 无限组合约简系统：归一化约简策略。 （英语） Zbl 1191.68365号 日志。方法计算。科学。 6，第1号，第7号论文，35页（2010年）. 摘要：我们研究了无限组合约简系统（iCRS）的归一化约简策略。我们证明，对于正交、全扩展iCRS，所有公平、最外层公平和所需公平策略都是正常的。这些事实恰当地概括了关于一阶无穷重写中正规化策略的一些结果，并提供了第一个无穷lambda演算正规化策略示例。 引用于5文件 MSC公司： 第68季度第42季度 语法和重写系统 03B40型 组合逻辑与lambda演算 68甲18 函数编程和lambda演算 关键词：项重写;高阶计算;组合约简系统;λ-微积分;无限计算;减排战略;正规形式 PDF格式BibTeX公司 XML格式引用 \textit｛J.Ketema｝和\textit｛J.G.Simonsen｝，日志。方法计算。科学。6，第1号，第7号论文，35页（2010年；Zbl 1191.68365） 全文： 内政部