pure lambda-calculus

pure lambda-calculus

Lambda-calculus with no constants, only functions expressed as lambda abstractions.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)