Structural cut elimination. In (1995)

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