Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties

By Ryu Hasegawa. 1991