El cálculo lambda, considerado la base matemática del lenguaje de programación, es un cálculo desarrollado por Alonzo Church y Stephen Kleene en la década de 1930 para expresar todas las funciones computables. En un esfuerzo por formalizar el concepto de computabilidad (también conocido como constructibilidad y calculabilidad efectiva), Church y Kleene desarrollaron un lenguaje poderoso con una sintaxis simple y pocas restricciones gramaticales. El lenguaje se ocupa de la aplicación de una función a sus argumentos (una función es un conjunto de reglas) y expresa cualquier entidad como una variable, la aplicación de una función a otra o como una "abstracción lambda" (una función en la que la letra griega - lambda se define como el operador de abstracción). El cálculo lambda y las teorías estrechamente relacionadas de combinadores y sistemas de tipos son fundamentos importantes en el estudio de las matemáticas, la lógica y el lenguaje de programación de computadoras.
Cálculo lambda
