An Axiomatic System of Parametricity
Izumi Takeuti · Fundamenta Informaticae · 1998
Plotkin and Abadi have proposed a syntactic system for parametricity based on a second order predicate logic. This paper shows three theorems about that system. The first is consistency of the system, which is proved by the method of relativization.