====== GDRI Linear Logic (GDRI-LL) ======


The GDRI LL is a French-Italian Groupement de Recherche International supported by CNRS and INDAM, whose purpose is to gather researchers interested in the connections between Linear Logic and various topics.

See the [[http://www.linear-logic.org|web site]].