Découvrez comment le calcul lambda se conjugue avec la logique combinatoire dans ce manuel de 270 pages, où chaque opérateur est expliqué par des preuves concises et des schémas clairs, idéal pour les chercheurs et étudiants avancés en informatique théorique.