Structural cut elimination - I. intuitionistic and classical logic (0)

by Frank Pfenning
Venue:Information and Computation