La programmation applicative (de LISP à la machine en passant par le lambda-calcul)

La programmation applicative s'adresse à toute personne désireuse de connaître les fondements de l'informatique. Chaque chapitre étudie exhaustivement un concept important de la programmation, afin d'acquérir la maîtrise des langages de programmation dits applicatifs ou fonctionnels, dont l'ancêtre commun est LISP. Commençant par une initiation à la programmation, l'ouvrage se termine par le progamme d'un interprète LISP complet, après une excursion dans son modèle mathématique, le lambda-calcul.