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 available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.