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
Aix-Marseille Université
Thomas EHRHARD
CNRS Université Paris Cité
Olivier LAURENT
CNRS ENS de Lyon
Laurent REGNIER
Aix-Marseille Université
Lionel VAUX AUCLAIR
Aix-Marseille Université