Game Semantics for Type Soundness.

Tim Disney, Cormac Flanagan

Browse the full LICS paper archive.