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é