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
1904

... to be replaced two years later by "SOS." February 7 - A fire in Baltimore, Maryland destroys over 1,500 buildings in 30 hours. February 8 - Japanese surprise attack on ...

 
 
 
This page was created in 57.5 ms