 It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics.Lambda calculus consists of constructing lambda terms and performing reduction operations on them.In the simplest form of lambda calculus, terms are built using only the following rules