A game semantics of local names and good variables (2004)

Cached

Download Links

by J. Laird
Venue:of Lecture Notes in Computer Science
Citations:18 - 4 self