A Game Semantics of Local Names and Good Variables.

James Laird

Browse the full FOSSACS paper archive.