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
Difference between revisions of "Lambda Calculus" - Wiki Notes @ WuJiewen.com, by Jiewen Wu

Difference between revisions of "Lambda Calculus"

From Wiki Notes @ WuJiewen.com, by Jiewen Wu

Jump to: navigation, search

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

Difference between revisions of "Lambda Calculus"

Revision as of 11:13, 14 January 2009

Navigation menu

Views

Personal tools

Navigation

Utilities

Links

Search

Tools

Revision as of 11:13, 14 January 2009 (view source) Admin (talk \| contribs) (New page: Lambda calculus, or λ-calculus, is a formal system for function definition, function application and recursion.)	Revision as of 11:13, 14 January 2009 (view source) Admin (talk \| contribs) m (Protected "Lambda Calculus" [edit=sysop:move=sysop]) Newer edit →
(No difference)