Structural Cut Elimination - I. Intuitionistic and Classical Logic (2000)

Cached

Download Links

by Frank Pfenning
Venue:Information and Computation
Citations:52 - 17 self