Cálculo lambda
Era: Teoría temprana · años 1930–años 1950
Alonzo Church propuso el cálculo lambda, un sistema formal para la definición y aplicación de funciones. El cálculo lambda se considera la base teórica de la programación funcional. El cálculo lambda original de 1936 no tenía tipos; Church añadió tipos simples en 1940 («A Formulation of the Simple Theory of Types»), creando uno de los primeros sistemas explícitamente tipados.
Alonzo Church (1903–1995)
Fuentes y respaldo
An Unsolvable Problem of Elementary Number Theory
American Journal of Mathematics · Tipo de fuente: Artículo
El artículo de Church de 1936 presenta la lambda-definibilidad y la indecidibilidad.
Publicado: ·Consultado: