Difference between revisions of "Lambda Calculus"
From Wiki Notes @ WuJiewen.com, by Jiewen Wu
Line 2: | Line 2: | ||
− | + | ||
[[Category:Theoretic Foundations]] | [[Category:Theoretic Foundations]] |
Revision as of 11:19, 14 January 2009
Lambda calculus, or λ-calculus, is a formal system for function definition, function application and recursion.