A game semantics for generic polymorphism

Samson Abramsky, Radha Jagadeesan. A game semantics for generic polymorphism. Annals of Pure and Applied Logic, 133(1-3):3-37, 2005. [doi]

Abstract

Abstract is missing.