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

これは、Wikipedia 日本語版の記事「チャーチ・ロッサーの定理」を、そのまま保全した写しです。下の白い枠の中が、保全された本文です。

STATUS● 保全済みSAVED2026.10.10

DIFF本家との差　保全以降、本家での変更は検出されていません

本家の編集を監視していて、この記事に新しい編集があれば、ここに表示します。

読む編集履歴表示

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

ウィキペディアから、無料の百科事典

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索^?: "チャーチ・ロッサーの定理" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2022年12月)

チャーチ・ロッサーの定理（チャーチ・ロッサーのていり、英: Church–Rosser theorem）とは、同じラムダ式から始まる二個の異なる簡約がある場合、それぞれの簡約から一連の簡約を行うことで到達可能な式があることを述べる定理である。詳しくは合流性を参照。

この項目は、まだ閲覧者の調べものの参照としては役立たない、書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。

このテンプレートは分野別のサブスタブテンプレートやスタブテンプレート（Wikipedia:分野別のスタブテンプレート参照）に変更することが望まれています。