Publié à l’origine en 1988, ce livre présente une introduction au lambda-calcul et aux combinateurs sans se perdre dans les détails des aspects mathématiques de leur théorie. Le lambda-calcul est traité ici comme un langage fonctionnel et sa pertinence pour l’informatique est clairement démontrée. L’objectif principal de l’ouvrage est de fournir aux étudiants et aux chercheurs en informatique une solide formation en lambda-calcul et combinateurs et de montrer l’application de ces théories à la programmation fonctionnelle. La présentation du matériel est autonome. Il peut être utilisé comme texte principal pour un cours de programmation fonctionnelle. Il peut également être utilisé comme texte complémentaire pour les cours sur la structure et la mise en œuvre des langages de programmation, la théorie de l’informatique ou la sémantique des langages de programmation. Langue : Anglais