nLab Church-Rosser theorem

Idea

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

References

• Masako Takahashi, Parallel Reductions in $\lambda$-Calculus, Journal of Symbolic Computation 7 2 (1989) 113-123 [doi:10.1006/inco.1995.1057]

See also:

• Wikipedia, Church-Rosser theorem