Skip to main content

A Game Semantics for Generic Polymorphism

S. Abramsky and R. Jagadeesan

Book Title
Annals of Pure and Applied Logic
Pages
3−37
Volume
133
Year
2005