A Game Semantics of Local Names and Good Variables (0)

by J Laird
Venue:Lecture Notes in Computer Science 2987