1. Abramsky, S., Jagadeesan, R.: A game semantics for generic polymorphism. Ann. Pure Appl. Logic 133(1), 3–37 (2004)
2. Lecture Notes in Computer Science;S Abramsky,1998
3. Abramsky, S., Honda, K., McCusker, G.: A fully abstract games semantics for general references. In: Proceedings of the 13th Annual Symposium on Logic in Computer Science, LICS 1998, IEEE Press (1998)
4. Bainbridge, E.S., Freyd, P.J., Scedrov, A., Scott, P.J.: Functorial polymorphism. Theor. Comput. Sci. 70(1), 35–64 (1990)
5. Bruce, K., Longo, G.: A modest model of records, inheritance and bounded quantification. Inf. Comput. 87(1/2), 196–240 (1990)