pure lambda-calculus

pure lambda-calculus

Lambda-calculus with no constants, only functions expressedas lambda abstractions.