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 定理。" 來自 Web 資源，由 Eric W. Weisstein 建立。 https://mathworld.tw/Church-RosserTheorem.html