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 EHRHARDCNRS IRIF, Université Paris Cité
Olivier LAURENTCNRS LIP - ENS Lyon
Laurent REGNIER Aix-Marseille Université
Lionel VAUX AUCLAIR Aix-Marseille Université