Giuseppe Longo
Laboratoire d'Informatique
CNRS - Ecole Normale Superieure
45, Rue D'Ulm
75005 Paris
France
longo@di.ens.fr
fax: 33 1 4432-2080