Deprecated: Required parameter $code follows optional parameter $prefix in /home4/wujiewen/public_html/wikinotes/languages/Language.php on line 4267

Warning: Private methods cannot be final as they are never overridden by other classes in /home4/wujiewen/public_html/wikinotes/includes/actions/Action.php on line 67

Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home4/wujiewen/public_html/wikinotes/languages/LanguageConverter.php on line 715

Deprecated: Required parameter $alt follows optional parameter $label in /home4/wujiewen/public_html/wikinotes/includes/Linker.php on line 726

Deprecated: Required parameter $alt follows optional parameter $label in /home4/wujiewen/public_html/wikinotes/includes/DummyLinker.php on line 144

Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home4/wujiewen/public_html/wikinotes/includes/json/FormatJson.php on line 297

Warning: Trying to access array offset on value of type null in /home4/wujiewen/public_html/wikinotes/includes/profiler/SectionProfiler.php on line 104

Warning: Trying to access array offset on value of type null in /home4/wujiewen/public_html/wikinotes/includes/profiler/SectionProfiler.php on line 104

Warning: Trying to access array offset on value of type null in /home4/wujiewen/public_html/wikinotes/includes/profiler/SectionProfiler.php on line 105

Warning: Trying to access array offset on value of type null in /home4/wujiewen/public_html/wikinotes/includes/profiler/SectionProfiler.php on line 105

Warning: Trying to access array offset on value of type null in /home4/wujiewen/public_html/wikinotes/includes/profiler/SectionProfiler.php on line 106

Warning: Trying to access array offset on value of type null in /home4/wujiewen/public_html/wikinotes/includes/profiler/SectionProfiler.php on line 106

Deprecated: Required parameter $contents follows optional parameter $attribs in /home4/wujiewen/public_html/wikinotes/includes/Xml.php on line 131
Lambda Calculus - Wiki Notes @ WuJiewen.com, by Jiewen Wu

Lambda Calculus

From Wiki Notes @ WuJiewen.com, by Jiewen Wu

Revision as of 11:13, 14 January 2009 by Admin (talk | contribs) (Protected "Lambda Calculus" [edit=sysop:move=sysop])

(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=66"

Lambda Calculus

Navigation menu

Views

Personal tools

Navigation

Utilities

Links

Search

Tools