A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.

Francisco Gutirrez, Blas C. Ruiz

Browse the full LOPSTR paper archive.