Difference between revisions of "Lambda Calculus"

From Wiki Notes @ WuJiewen.com, by Jiewen Wu
Jump to: navigation, search
Line 2: Line 2:
  
  
−
[[Category:Basic Maths]]
+
[[Category:Computer Science]]

Revision as of 11:15, 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=68"