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