pure lambda-calculus

from The Free On-line Dictionary of Computing (8 July 2008)

pure lambda-calculus

   {Lambda-calculus} with no constants, only functions expressed
   as {lambda abstractions}.

   (1994-10-27)