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

Cached

Download Links

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

Document Versions

Structural Cut Elimination - I. Intuitionistic and Classical Logic –Frank Pfenning — 2000 — Information and Computation