Lambda calculus

• A functional notation invented by Church in the 1930’s
• Basis of programming language Lisp
• A functional sub-language in many modern programming languages (python, C#, C++, etc.)
• >>> lambda x: x*x
• >>> lambda x: x + 47
• >>> (lambda x: x*x) (12)
• 144