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