Download lambda calculus (part 1) from "Functional Programming", Field and

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts
no text concepts found
Transcript 
lambda calculus (part 1)
from "Functional Programming", Field and
Harrison, pp. 112-113
• "The lambda calculus was used as a means of
describing, purely syntactically, the properties
of mathematical functions, effectively treating
them as rules."
• "Put simply, the lambda calculus is the
calculus of anonymous (unnamed) functions."
Related documents