Proof theory: Some aspects of cut-elimination (0)

by Helmut Schwichtenberg
Venue:In Barwise [3