November 2017
Intermediate to advanced
670 pages
17h 35m
English
Lambda calculus is a logical system of rules for expressing computation using variable binding, abstraction, and function application. We can define anonymous functions and apply those functions. Lambda calculus would be limited if it weren't for recursion. Pure functional programming languages derived from lambda calculus include LISP, Haskell, and ML.