Lambda Calculus

From Wiki Notes @ WuJiewen.com, by Jiewen Wu
Revision as of 11:13, 14 January 2009 by Admin (talk | contribs) (New page: Lambda calculus, or λ-calculus, is a formal system for function definition, function application and recursion.)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Lambda calculus, or λ-calculus, is a formal system for function definition, function application and recursion.

Retrieved from "http://www.wujiewen.com/wikinotes/index.php?title=Lambda_Calculus&oldid=65"