# Pure lambda-calculus

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

< Previous Terms |
Terms Containing pure lambda-calculus |
Next Terms > |

punched card punt Purdue Compiler-Construction Tool Set Purdue University pure functional language |
beta reduction Church integer delta reduction domain theory lambda-calculus |
PureLink Pure Lisp purely functional language Purify Purple Book |