"Set-theoretic foundation of parametric polymorphism and subtyping."

Giuseppe Castagna, Zhiwu Xu (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics