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é