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:

This page is linked from: Capability   Lambda Calculus