Difference between revisions of "Lambda Calculus"
From Wiki Notes @ WuJiewen.com, by Jiewen Wu
m (Protected "Lambda Calculus" [edit=sysop:move=sysop]) |
|||
| Line 1: | Line 1: | ||
Lambda calculus, or λ-calculus, is a formal system for function definition, function application and recursion. | Lambda calculus, or λ-calculus, is a formal system for function definition, function application and recursion. | ||
| + | |||
| + | |||
| + | [[Category:Basic Maths]] | ||
Revision as of 11:14, 14 January 2009
Lambda calculus, or λ-calculus, is a formal system for function definition, function application and recursion.
