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