Fast Cut-Elimination by Projection.

Matthias Baaz, Alexander Leitsch

Browse the full CSL paper archive.