最終更新日:2024/08/05
(mathematics, computing theory) A theorem stating that, when applying reduction rules to terms in the lambda calculus, the ordering in which the reductions are chosen makes no difference to the eventual result.
正解を見る
Church-Rosser theorem
編集履歴(0)
元となった辞書の項目
Church-Rosser theorem
name