Workgroup for a Linear Logic Handbook
6-8 December, 2022
Groupe de travail pour un manuel de Logique Linéaire
6-8 Décembre, 2022
Alexandra Bac
Polytech Marseille
Rémy Cerda
IRIF, CNRS
Thomas Ehrhard
CNRS Université Paris Cité
Olivier Laurent
CNRS ENS de Lyon
Laurent Regnier
Aix-Marseille Université
Lionel Vaux Auclair
Aix-Marseille Université