Lambda-calculus with no constants, only functions expressed as lambda abstractions.
Last updated: 1994-10-27