Cálculo lambda
Definición – ¿Qué significa Lambda Calculus? El cálculo lambda es un tipo de sistema formal de lógica matemática utilizado en informática para la definición, aplicación y recursión de funciones. La programación funcional de computadoras surgió de este tipo de cálculo y, a su vez, actúa como un modelo para el desarrollo de software al proporcionar … Leer más