Logique combinatoire et lambda calcul : des logiques d'opérateurs de Jean-pierre Desclés, Gaëll Guibert, Benoît Sauzay — Avis et clubs de lecture | Booklub