Encyclopedia > Church-Rosser theorem

  Article Content

Church-Rosser theorem

The Church-Rosser theorem states that, in the lambda calculus, a term has at most one normal form. Specifically, if two different reductions of a term both terminate in normal forms, then the two normal forms will be identical. It is the Church-Rosser theorem that justifies references to "the normal form" of a certain term.

The theorem was discovered in 1937 by Alonzo Church and J. Barkley Rosser[?].

See also lambda calculus.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Bugatti

... was known for its advanced engineering in its premium road cars and its success in early Grand Prix racing, winning the first ever Monaco Grand Prix and with driver ...

 
 
 
This page was created in 41.9 ms