pure lambda-calculus
Lambda-calculus
with no constants, only functions expressed as
lambda abstraction
s.
(27 Oct 1994)