Original: Lisp uses a variant of lambda notation for defining functions , but only its purely functional subset ( '' Pure Lisp '' ) is really equivalent to lambda calculus . Anonymous functions are sometimes called lambda expressions in programming languages .
Simplified: Lambda calculus has greatly influenced functional programming languages , such as LISP , ML and Haskell .