A Game Semantics for Generic Polymorphism (Annals of Pure and Applied Logic, 2005)

(untitled) - Abramsky, S; Jagadeesan, R