Lambda Calculator
Examples
(λx.λy. x) A B
(λx.x x) (λx.x x)
λg.(λx.g (x x)) (λx.g (x x))
(λm.λn.λf.λx.(m f (n f x))) (λf.λx.(f (f x))) (λf.λx.(f (f (f x))))