Click on Lambda calculus: Exercices to open the resource.