Structural Cut Elimination (1995)

Download From

IEEE
Download from IEEE

Download Links

by Frank Pfenning
Venue:Proceedings of the Tenth Annual Symposium on Logic in Computer Science
Citations:65 - 8 self