A Game semantics for Generic Polymorphism
S. Abramsky and R. Jagadeesan infobook 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 |
links
BibTeX
Download (ps)
related pages
|
