3 ms·
The book Types and Programming Languages has a nice treatment of the lambda calculus. It looks intimidating, but it's really pretty simple conceptually.
by superuser2 10y ago
The book Types and Programming Languages has a nice treatment of the lambda calculus. It looks intimidating, but it's really pretty simple conceptually.