On the Specification of Sequent Systems.

Elaine Pimentel, Dale Miller

Browse the full LPAR paper archive.