 Functional programming languages implement the lambda calculus.Lambda calculus is also a current research topic in Category theory.The lambda calculus was introduced by mathematician Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics.