Lambda Calculus

From Wiki Notes @ WuJiewen.com, by Jiewen Wu
Revision as of 11:15, 14 January 2009 by Admin (talk | contribs)

Jump to: navigation, search

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