Set-theoretic foundation of parametric polymorphism and subtyping

We define and study parametric polymorphism for a type system with recursive, product, union, intersection, negation, and function types. We first recall why the definition of such a system was con...