A Game Semantics for Generic Polymorphism.

Samson Abramsky, Radha Jagadeesan

Browse the full FOSSACS paper archive.