Report copyright - Linear Logic and Applications - Schloss Dagstuhl : … Logic and Applications Valeria de Paiva, Josef van Genabith, Eike Ritter and Richard Crouch September 30, 1999 1 Introduction
Please pass captcha verification before submit form