Lambda Calculus

From Code Self Study Wiki
Jump to: navigation, search

This page contains notes on lambda calculus.

Resources

Videos

Examples

Solve: ((λx. (λy. + x y) 5) ((λy. - y 3) 7))

((λx. (λy. + x y) 5) ((λy. - y 3) 7))
((λy. + 5 y) (- 7 3))
((λy. + 5 y) 4)
(+ 5 4)
9