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

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