Decision Problems for Second-Order Linear Logic

Patrick Lincoln, Andre Scedrov, Natarajan Shankar

Browse the full LICS paper archive.