The \lambda-calculus

It is a pure calculus of functions. Perhaps the cornerstone of modern PL theory.

References

• Dana Scott's Then and Now: a set of notes and slides on the history of the \lambda-calculus and all related systems.