The Wikipedia page [1] for Lambda calculus is also a great read (even for those who don't know anything about it before).

[1] https://en.wikipedia.org/wiki/Lambda_calculus