El cálculo Lambda (también escrito como cálculo λ) es un sistema formal en lógica matemática y ciencias de la computación para expresar la computación basada en la abstracción y aplicación de funciones mediante el enlace y la sustitución de variables. Formulado por primera vez por Alonzo Church para formalizar el concepto de computabilidad efectiva, el cálculo lambda encontró éxitos tempranos en el área de la teoría de la computabilidad, como una respuesta negativa al problema de Entscheidungs de Hilbert. El cálculo Lambda es un modelo de computación universal conceptualmente simple (Turing demostró en 1937 [1] que las máquinas de Turing igualaban el cálculo lambda en expresividad). El nombre deriva de la letra griega lambda (λ) utilizada para denotar la unión de una variable en una función. La carta en sí es arbitraria y no tiene un significado especial.
Pocos ejemplos: 
- ¿Cómo se debe describir y hablar sobre la recursividad cuando se hace pizarra o se programa un par?
- ¿Qué es un algoritmo eficiente para el agrupamiento k-means donde k es 2 y la dimensión es una, con o sin pesos?
- ¿Cuál es el algoritmo para resolver el cubo de Rubik solo para la última esquina?
- ¿Qué programas pueden determinar las instrucciones de plegado de origami para una forma tridimensional dada?
- ¿Por qué ocurre el peor de los casos en Max-Heapify cuando la fila final del árbol está medio llena?
