¶
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.