Proof Search in First-order Linear Logic and Other Cut-free Sequent Calculi (1994)

Cached

Download Links

by P.D. Lincoln , N. Shankar
Venue:In LICS
Citations:27 - 2 self