A Decidable Fragment of Second Order Linear Logic.

Guy Perrier

Browse the full LFCS paper archive.