P.D. Lincoln

Bibliography

Lincoln, P. D. and Shankar, Natarajan. 1994. “Proof Search in First-order Linear Logic and Other Cut-free Sequent Calculi.”