A Tutorial Introduction to the Lambda Calculus by Raul Rojas. “This tutorial shows how to perform arithmetical and logical computations using the λ-calculus and how to define recursive functions, even though λ-calculus functions are unnamed and thus cannot refer explicitly to themselves.”