Cálculo Lambda
Era: Teoria Inicial · anos 1930–anos 1950
Alonzo Church propôs o cálculo lambda, um sistema formal para definição e aplicação de funções. O cálculo lambda é considerado a base teórica da programação funcional. O cálculo lambda original de 1936 não tinha tipos; Church adicionou tipos simples em 1940 («A Formulation of the Simple Theory of Types»), criando um dos primeiros sistemas explicitamente tipados.
Alonzo Church (1903–1995)
Fontes e evidências
An Unsolvable Problem of Elementary Number Theory
American Journal of Mathematics · Tipo de fonte: paper
Church’s 1936 paper presents lambda-definability and undecidability.
Publicado: ·Acessado: