Structural Cut Elimination - I. Intuitionistic and Classical Logic (2000)
by
Frank Pfenning
| Venue: | Information and Computation |
| Citations: | 47 - 17 self |
Document Versions
| Structural Cut Elimination - I. Intuitionistic and Classical Logic –Frank Pfenning — 2000 — Information and Computation |
