Lambda calculus/Definition

From Citizendium
Jump to navigation Jump to search
This article is a stub and thus not approved.
 Main Article
 Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
https://en.citizendium.org/wiki/index.php?title=Lambda_calculus/Definition&printable=yes
A definition or brief description of Lambda calculus.

A formal system designed to investigate functions and recursion.

Retrieved from "https://citizendium.org/wiki/index.php?title=Lambda_calculus/Definition&oldid=494497"