Lambda-Kalkül und der Ursprung der funktionalen Programmierung: Von Alonzo Churchs Theorie zu Lisp und Haskell
