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