Ryu Hasegawa Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties. [Citation Graph (0, 0)][DBLP] TACS, 1991, pp:495-512 [Conf]
Ryu Hasegawa Categorical Data Types in Parametric Polymorphism. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1994, v:4, n:1, pp:71-109 [Journal]