There couldn’t be a much shorter and crispier introduction to lambda calculus than by Graham Hutton.

lambda-calculus-intro

We will see more about lambda calculus in next post.