The specification of an hypothetical computer designed to decode and preserve some form of computation over time.

Candidates

• ?Lambda calculus is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. See also, Church Numerals.