A Classical Sequent Calculus with Dependent Types.

tienne Miquey

Browse the full ESOP paper archive.