Linear logic combines:
- In France: CNRS, Université Paris-Diderot, Aix-Marseille University, École Centrale de Marseille, École Normale Supérieure de Lyon, Université Claude Bernard
- In Italy: Instituto Nazionale di Alta Matematica, Università degli Studi “Roma Tre”, Alma Mater Studiorum – Università di Bologna and Università degli Studi di Torino.
Keywords: linear logic, programming languages