A fully abstract game semantics for general references
S. Abramsky‚ K. Honda and G. McCusker
Details
| Book Title |
Proceedings of the Thirteenth International Symposium on Logic in Computer Science |
| Pages |
334−344 |
| Publisher |
Computer Society Press of the IEEE |
| Year |
1998 |
Links
Related pages
|
People |