A Fully Abstract Game Semantics for Finite Nondeterminism (1999)

Cached

Download Links

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