Search Result for "pure lambda-calculus":

The Free On-line Dictionary of Computing (18 March 2015):

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