Лисп использует вариант лямбда-нотации для определения функций, но только его чисто функциональное подмножество («Чистый Лисп») действительно эквивалентно лямбда-исчислению. Анонимные функции в языках программирования иногда называют лямбда-выражениями.
Лямбда-исчисление сильно повлияло на языки функционального программирования, такие как LISP, ML и Haskell.