Game Semantics for a Polymorphic Programming Language.

James Laird

Browse the full LICS paper archive.