El cálculo Lambda es una forma de definir funciones.