| < 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 |