[nvarsj]

For anyone that wants a readable overview of the λ-calculus, I recommend reading the second chapter in Simon Peyton Jones' book:

http://research.microsoft.com/en-us/um/people/simonpj/papers...