Linear-logic.org

Welcome to the web site of the GDRI Linear Logic!