@techreport{RR-03-02,
  title = "A game semantics for generic polymorphism",
  author = "Samson Abramsky and Radha Jagadeesan",
  year = "2003",
  institution = "Oxford University Computing Laboratory",
  month = "January",
  number = "RR-03-02",
}