nLab Church-Rosser theorem

Contents

Contents

Idea

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

References

See also:

Last revised on August 6, 2022 at 20:42:03. See the history of this page for a list of all contributions to it.