Lambda calculus, considerado como a base matemática da linguagem de programação, é um cálculo desenvolvido por Alonzo Church e Stephen Kleene na década de 1930 para expressar todas as funções calculáveis�frac12; Num esforço para formalizar o conceito de computabilidade (também conhecido como construtibilidade e calculabilidade eficaz), Church e Kleene desenvolveram uma linguagem poderosa com uma simples� sintaxe e poucas restrições gramaticais. A linguagem trata da aplicação de uma função aos seus argumentos (uma função é um conjunto de regras) e expressa qualquer entidade como uma variável, a aplicação de uma função a outra, ou como uma "abstração lambda" (uma função em que a letra grega�lambda é definida como o operador da abstração). O cálculo lambda, e as teorias estreitamente relacionadas de combinadores e sistemas de tipo, são fundamentos importantes no estudo da matemática, lógica e linguagem de programação de computadores.
Lambda calculus
