A Fully Abstract Game Semantics for Finite Nondeterminism (1999)

by Russell Harmer, Guy Mccusker
Venue:In Proceedings of the Fourteenth Annual Symposium on Logic in Computer Science, LICS ’99. IEEE Computer