Lambda Calculus
The term for the mathematically formalized theory of abstractions. Well, it's recursive, lexically-scoped theory of functions. And it's not just one theory; there are variations.The usual reference for it is a 1984 book by Barendregt. See logic and functional Programming Languages, as well as lambda calculus as a virtual machine - the Lambda VM.
A few bibliographies:
There are introductory online courses on lambda calculus. Here are a few pointers:
- Chris Barker's (including an interactive Javascript evaluator)
- Jim Larson's.
- Ralph Loader's.
- L. Allison.
See also Epsilon Calculus.
This page is linked from: Abstraction Basic Computer Science Bisimulation Context Functional GENS Lambda VM Lemon Pi Calculus Programming Language Semantics