Beniamino Accattoli Chercheur, Inria Contact information Email accattoli lix.polytechnique.fr Web page http://www.lix.polytechnique.fr/~accattoli