Proof Theoretic Studies about a Minimal Type System Integrating Inclusion and Parametric Polymorphism (1990)

by Giorgio Ghelli