Relational parametricity and control (0)

by M Hasegawa
Venue:Logical Methods in Computer Science