Search Result for "pure lambda-calculus":


The Free On-line Dictionary of Computing (19 January 2023):

pure lambda-calculus

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

   (1994-10-27)