Résultats de recherche

  • interdisciplinaire Linear-Logic CNRS INDAM créé en 2015. L IRN regroupe divers laboratoires de logique d informatique International Research Network (IRN) Linear Logic
  • 2025-2029 International Research Network du CNRS IRN-LI CNRS Correspondant pour l IRPhiL Jean-Baptiste Jean-Baptiste JOINET. International Research Network IRN Linear Logic 2015-2023 Justice globale droit international
Page 1 / 1