Church-Rosser 定理指出，lambda 演算 作为具有 lambda 转换 规则的 归约系统，满足 Church-Rosser 属性。
Church-Rosser 定理
另请参阅
Church-Rosser 属性, Church's Theorem, Church-Turing 论题, Lambda 演算此条目由 Alex Sakharov 贡献 (作者链接)
使用 探索
参考文献
Baader, F. 和 Nipkow, T. Term Rewriting and All That. 英国剑桥: 剑桥大学出版社, 1999.在 上被引用
Church-Rosser 定理请引用为
Sakharov, Alex. "Church-Rosser 定理。" 来自 MathWorld-- 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/Church-RosserTheorem.html