Church-Rosser theorem
Meaning
Proper Noun
- 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.
Origin
- Introduced by Alonzo Church and J. Barkley-Rosser in a 1936 paper.
Modern English dictionary
Explore and search massive catalog of over 900,000 word meanings.
Word of the Day
Get a curated memorable word every day.
Challenge yourself
Level up your vocabulary by setting personal goals.
And much more
Try out Vedaist now.