Church-Rosser theorem

English

Introduced by Alonzo Church and J. Barkley-Rosser in a 1936 paper.

Church-Rosser theorem

(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.

单词	Church-Rosser theorem
释义	Church-Rosser theorem English Etymology Introduced by Alonzo Church and J. Barkley-Rosser in a 1936 paper. Proper noun Church-Rosser theorem (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.
随便看	minimitzaries minimitzarà minimitzaràs minimitzaré minimitzaríem minimitzaríeu minimitzat minimitzats minimitzava minimitzaven minimitzaves minimitzem minimitzen minimitzes minimitzessin minimitzessis minimitzeu minimitzi minimitzin minimitzis minimitzo minimitzà minimitzàrem minimitzàreu minimitzàvem