If you’ve done much functional programming, you’ve probably heard of
the λ-calculus, invented by Alonzo Church in the 1930s. If you
haven’t, the term might be quite new to you; but don’t worry, despite
the intimidating name the λ-calculus is actually very simple.