Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00715806n
Noun Named Entity
Categories: 数学に関する記事, ラムダ計算, 数学基礎論の定理
JA
チャーチ・ロッサーの定理
JA
チャーチ・ロッサーの定理（チャーチ・ロッサーのていり、英: Church–Rosser theorem）とは、同じラムダ式から始まる二個の異なる簡約がある場合、それぞれの簡約から一連の簡約を行うことで到達可能な式があることを述べる定理である。 Wikipedia
Definitions
Relations
Sources
JA
チャーチ・ロッサーの定理（チャーチ・ロッサーのていり、英: Church–Rosser theorem）とは、同じラムダ式から始まる二個の異なる簡約がある場合、それぞれの簡約から一連の簡約を行うことで到達可能な式があることを述べる定理である。 Wikipedia
IS A
定理
NAMED AFTER
アロンゾ・チャーチ
ジョン・バークリー・ロッサー
Wikipedia
JA
チャーチ・ロッサーの定理
Wikidata
JA
チャーチ・ロッサーの定理

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License