@inproceedings{paper73,
  author = "S. Abramsky and R. Jagadeesan",
  booktitle = "Annals of Pure and Applied Logic",
  pages = "3-37",
  title = "A Game Semantics for Generic Polymorphism",
  volume = "133",
  year = "2005",
}