A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem.

Matthias Baaz, Alexander Leitsch, Anela Lolic

Browse the full LFCS paper archive.