Olivier Corby

INRIA, France