# Lambda VM

Lambda calculus is not only an abstract calculus, but an Abstract VM: a kind of calculus of very basic abstraction. It was invented even before Turing Machines, also as a universal computational framework. Check pages and books about functional programming, functional programming languages, computer science laboratories, theoretical computer science research, etc, for more about lambda calculus.A few pointers:

- See the series of "Lambda, The Ultimate
`FOO`" articles. In the original ones by GLS,`FOO`={ Imperative | Declarative | Goto | Opcode }. They are available among other classic hits from MIT AI lab publications. - On the "Lambda, The Ultimate
`FOO`" trend,`FOO`has also been { software tool | label | combinator | little language }. -
This article by Jonathan Rees: W7, a security kernel based on the Lambda Calculus,
*could*have been called "Lambda, the ultimate capability". See Rees's PhD Thesis. Similarly the Tube*could*have been "Lambda, the ultimate mobile code". - Finally, James Crippen collected fortune cookies that have the Lambda nature, many of which are but exerpts from Alan Perlis' Epigrams in Programming".
- Several programming languages have a strong basis in the lambda-calculus, including:

**This page is linked from: ** Capability Lambda Calculus