A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft

this paper is to define precisely the set-theoretic interpretation of the ML-like polymorphic system of types. The aim of this Introduction is to convince the Reader that this is worthwhile to try