情報科学 › コンピュータサイエンス基礎 › プログラミング言語論
Church–Rosser の定理（合流性）
計算の項 について、 かつ （ は 簡約の反射推移閉包）ならば、 かつ となる項 が存在する。
閉包の状態
※ 主張のみ
この分野（情報科学・コラム）は閉包の検査の対象外で、証明を載せていない定理です。理由と出典は 本文の注意 にあります。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
主張のみなので、Rikai の中で証明が使う前提はありません。
これを使っている定理
証明で明示的に参照している定理は、まだありません。