A Sequent Calculus for Type Theory.

Stphane Lengrand, Roy Dyckhoff, James McKinna

Browse the full CSL paper archive.