Decision Problems for Propositional Linear Logic

Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar

Browse the full FOCS paper archive.