Le lambda-calcul (Lambda Calculus) et les origines de la programmation fonctionnelle : De la théorie d'Alonzo Church à Lisp et Haskell
