Lambda calculus - Wikipedia
https://en.wikipedia.org/wiki/Lambda_calculus