Problem 1 - Lambda Calculus

1.

Explain the Church-Rosser property in $\lambda$-calculus.

2.

Give an outline of a standard proof of the Church-Rosser property in $\lambda$-calculus.

See [HIN86] for a detailed answer.