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:64 - 8 self