| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Logique combinatoire et lambda calcul: des logiques d?opérateurs | 978-2-36493-53O-3 (2-36493-53O-X) | 2016 | Gaëll Guibert · Benoit Sauzay |
Desclès Jean Pierre · J.D. · J. P. · J P Desclés · J. Pierre · Jean P. · Jean-Pierre · Pierre D