Church-Rosser theorem en · PROPN
Etymology
Introduced by Alonzo Church and J. Barkley-Rosser in a 1936 paper.
Meanings
- 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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Church-Rosser theorem | canonical | lexicographic |