Cálculo Lambda

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)

Estado

Verificado

Tipo de contenido

fact

Última verificación

2026-07-16