A Game semantics for Generic Polymorphism
S. Abramsky and R. Jagadeesan
Book Title
Foundations of Software Science and Computational Structures‚ 6th International Conference‚ FOSSACS 2003
Editor
A. D. Gordon
Pages
1−22
Series
Springer Lecture Notes in Computer Science
Volume
2620
Year
2003