A Game semantics for Generic Polymorphism (Foundations of Software Science and Computational Structures‚ 6th International Conference‚ FOSSACS 2003, 2003)

(untitled) - Abramsky, S; Jagadeesan, R