Structural cut elimination (1995)

by Frank Pfenning
Venue:Proceedings of the Tenth Annual Symposium on Logic in Computer Science