pure lambda-calculus

1 definition found

pure lambda-calculus - Free On-line Dictionary of Computing (26 May 2007) :

  pure lambda-calculus
  
     Lambda-calculus with no constants, only functions expressed
     as lambda abstractions.
  
     (1994-10-27)