Church-Rosser theorem

English

Etymology

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

Proper noun

the Church-Rosser theorem

  1. (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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.