Réunion plénière du GDRI de logique linéaire et conférence à l’occasion du 70ème anniversaire de Jean-Yves Girard, à Rome.