What isλ-calculus Programming language Invented in 1930s,by Alonzo Church and Stephen Cole Kleene Model for computation Alan Turing,1937:Turing machines equal A-calculus in expressiveness What is -calculus • Programming language • Invented in 1930s, by Alonzo Church and Stephen Cole Kleene • Model for computation • Alan Turing, 1937: Turing machines equal -calculus in expressiveness