Alexander J. Summers Steffen van Bakel Approaches to Polymorphism in Classical Sequent Calculus. 84-99 2006 conf/esop/2006 ESOP http://dx.doi.org/10.1007/11693024_7 db/conf/esop/esop2006.html#SummersB06