pure lambda-calculus
Lambda-calculus with no constants, only functions expressed as lambda abstractions.
(1994-10-27)
Source: The Free On-line Dictionary of Computing (27 SEP 03)