Achim Jung - Tutorial Notes
A brief introduction to the Lambda Calculus