Math and science::Theory of Computation::Lambda calculus
Confluence
Confluence
Let
Confluence is also called the Church-Rosser theorem.
There are three corollaries of the confluence theorem listed on the back side. Can you remember them?
Let
Confluence is also called the Church-Rosser theorem.
There are three corollaries of the confluence theorem listed on the back side. Can you remember them?