An isomorphism between a fragment of sequent calculus and an extension of natural deduction (2002)

by J Esprito Santo
Venue:In Proceedings of LPAR'02, Lecture Notes in Computer Science 2514