Cálculo Lambda

Sistema formal para expresar la computación basado en la abstracción de funciones, la aplicación, el enlace de variables y la sustitución; sirve como modelo de programación mínimo y fundamento de la programación funcional y la teoría de la computabilidad.

Un sistema formal para expresar cómputo basado en abstracción de funciones (λx. M), aplicación (M N), enlace de variables y sustitución, con reglas operacionales como alpha-equivalencia y beta-reducción; sirve como modelo fundamental de cómputo.