Cálculo Lambda (Lambda Calculus) e as Origens da Programação Funcional: Da Teoria de Alonzo Church ao Lisp e Haskell
