École d'hiver de logique linéaire
Linear Logic Winter School
24-28 January, 2022