Hubert Godfroy
Équipe CARTE
Contact
Enseignements
Communications
A taste of soft-linear logic for self-modification, Geocal, Nancy
Présentation