Mientras que el cálculo lambda supone la base teórica del paradigma de programación funcional.