Type de projet : Réseau franco-italien de recherche héritier du GDRI interdisciplinaire Linear-Logic (CNRS/INDAM) créé en 2015. L’IRN regroupe divers laboratoires de logique, d’informatique et de philosophie, en France et en Italie, et notamment l’IRPhiL (Lyon 3).
