La logique combinatoire et le lambda-calcul, conçus à l’origine dans les années 1920, sont depuis devenus des outils linguistiques particulièrement utiles dans les langages de programmation. Le livre précédent des auteurs a servi de référence principale pour les cours d'introduction au lambda-calcul pendant plus de 20 ans : cette version est entièrement révisée et offre un compte rendu du sujet avec le même exposé faisant autorité. La grammaire et les propriétés de base de la logique combinatoire et du lambda-calcul sont discutées, suivies d’une introduction à la théorie des types. Les versions dactylographiées et non dactylographiées des systèmes et leurs différences sont abordées. Les modèles de lambda-calcul, qui sont à l’origine d’une grande partie de la sémantique des langages de programmation, sont également expliqués en profondeur. Le traitement est aussi peu technique que possible, les idées principales étant soulignées et illustrées par des exemples. De nombreux exercices sont inclus, de la routine à l’avancé, avec des solutions à la plupart à la fin du livre. Langue : Anglais