follow Dictionary.com
Lambda-calculus with no constants, only functions expressed as lambda abstractions. (1994-10-27)