El cálculo lambda influenció el diseño del lenguaje Lisp así como los lenguajes de programación funcional.