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

by R Hasegawa
Venue:Proc. Theoretical Aspects of Computer Software. Lecture Notes in Computer Science 526