Structural Cut Elimination - I. Intuitionistic and Classical Logic (2000)

by Frank Pfenning
Venue:Information and Computation