nLab
Church-Rosser theorem

Idea

The Church–Rosser theorem states that the reduction rule?s of the lambda calculus are confluent.

Created on January 7, 2014 at 05:51:07. See the history of this page for a list of all contributions to it.