This paper is a short and painless introduction to the lambda calculus.