Difference between revisions of "Lambda Calculus"

From Wiki Notes @ WuJiewen.com, by Jiewen Wu
Jump to: navigation, search
Line 3: Line 3:
  
 
[[Category:Computer Science]]
 
[[Category:Computer Science]]
 +
[[Category:Theoretic Foundations]]

Revision as of 11:17, 14 January 2009

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=69"