pure lambda-calculus
Lambda-calculus with no constants, only functions expressed as lambda
abstractions.
(1994-10-27)
Nearby terms:
Purdue Compiler-Construction Tool Set « Purdue
University « pure functional language « pure
lambda-calculus » PureLink » Pure Lisp » purely
functional language
|
