Se puede considerar al cálculo lambda como el lenguaje universal de programación más pequeño.