What is入- calculus Programming language Invented in 1930s, by alonzo Church and stephen cole Kleene Model for computation lan Turing, 1937 Turing machines equal n-calculus in expressivenessWhat 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