Problem 7 - $\lambda$-calculus

1.

Give the definition of $\lambda$-calculus, including its syntax and conversion rules

2.

Give the outline of a proof of its Church-Rosser property.

See [HIN86] for a detailed answer.