Lambda calculus

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 … Ler mais