Benoit Sauzay

B.S. · Sauzay Benoit

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Logique combinatoire et lambda calcul: des logiques d?opérateurs978-2-36493-53O-3
(2-36493-53O-X)
2016Jean-Pierre Desclés · Gaëll Guibert

Benoît Schlemmer