Parametricity of extensionally collapsed term models of polymorphism and their categorical properties (1991)

by R Hasegawa
Venue:Proceedings of Theoretical Aspects of Computer Software.(TACS ’91), volume 526 of LNCS