Structural cut elimination I. intuitionistic and classical logic (2000)

by F Pfenning
Venue:Information and Computation