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

by R Hasegawa
Venue:In Proc. Theoretical Aspects of Computer Software, volume 526 of LNCS