(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
コンピュータ科学者はしばしばチャーチ＝ロッサーの定理を引用して、ベータ簡約の順序がラムダ式の最終的な正規形に影響を与えないことを説明する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
