Kalkulus Lambda (Lambda Calculus) dan Asal-usul Pemrograman Fungsional: Dari Teori Alonzo Church ke Lisp dan Haskell