Church-Rosser theorem
plural of simplifaction
(physiology) Modification of the regularity of a periodical movement, such as the heart's action
That which evokes (brings to mind) a memory, mood, idea, feeling, or image; redolent or reminiscent.
(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.
コンピュータ科学者はしばしばチャーチ＝ロッサーの定理を引用して、ベータ簡約の順序がラムダ式の最終的な正規形に影響を与えないことを説明する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
