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
Sanskrit language

... mouth and moving forward), and finally the liquids[?] and sibilants. (Note: The long vowels are held about twice as long as their short counterparts. Also, there exists ...

 
 
 
This page was created in 22.2 ms