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 web site.