Questions tagged [church-rosser-theorem]
The church-rosser-theorem tag has no usage guidance.
1
question
5
votes
2
answers
139
views
What is the proof of that self-application in the λ-calculus is not inconsistent?
The SEP entry on lambda calculus discusses its consistency, surmising:
Early formulations of the idea of λ-calculus by A. Church were indeed inconsistent. The Church-Rosser theorem gives us, among ...
- 18.7k