書き換えシステム

チャーチ・ロッサーの定理

合流性と正規形の一意性の存在の等価性を確立する基本結果。書き換えによる計算システムの一貫性を保証する理論的基盤。

← 戻る