Proofs, Upside Down - A Functional Correspondence between Natural Deduction and the Sequent Calculus.

Matthias Puech

Browse the full APLAS paper archive.