Lambda-calcul

Conçu dans les années 30 afin de fournir un formalisme universel pour les fonctions mathématiques, le lambda calcul n'a pas atteint ses objectif en mathématiques pures mais il est devenu un modèle théorique de calculabilité et il est à la base de la création de certains langages de programmation comme Lisp ou Haskell. Il est la base théorique de la programmation fonctionnelle.