Sauzay Benoit

Benoit Sauzay · S. B

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)
2016Desclès Jean Pierre · Guibert Gaëll

Sava Buncic