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 |
