Lambda Calculus

Alonzo Church's formal system that, alongside Turing machines, defined what's computable. The theoretical basis of functional programming.

Open source ↗