Approaches to Polymorphism in Classical Sequent Calculus.

Alexander J. Summers, Steffen van Bakel

Browse the full ESOP paper archive.