Lisp utilise une variante de notation lambda pour définir les fonctions, mais seul son sous-ensemble purement fonctionnel -LRB- '' Pure Lisp '' -RRB- est vraiment équivalent à lambda calculus.
Lambda calculus a grandement influencé les langages de programmation fonctionnels, tels que LISP, ML et Haskell.