El cálculo lambda (Lambda Calculus) y los orígenes de la programación funcional: De la teoría de Alonzo Church a Lisp y Haskell
