Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi

Patrick Lincoln, Natarajan Shankar

Browse the full LICS paper archive.