A Fully Abstract Game Semantics for Finite Nondeterminism (1999)
Cached
Download Links
- [users.comlab.ox.ac.uk]
- [www.cogs.susx.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Russell Harmer
,
Guy Mccusker
| Venue: | In Proceedings of the Fourteenth Annual Symposium on Logic in Computer Science, LICS ’99. IEEE Computer |
| Citations: | 26 - 2 self |
Document Versions
| A Fully Abstract Game Semantics for Finite Nondeterminism –Russell Harmer, Guy Mccusker — 1999 — In Proceedings of the Fourteenth Annual Symposium on Logic in Computer Science, LICS ’99. IEEE Computer |
