Cut-Elimination: Experiments with CERES.

Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr

Browse the full LPAR paper archive.