English Explanatory Dictionary

Church-Rosser theorem

English dictionary entry

Meanings

name
  1. 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.

Word forms

Church-Rosser theorem the Church-Rosser theorem

Etymology

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

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on C Russian dictionary Dahl dictionary