A fully abstract game semantics for general references
- Samson Abramsky
- , Kohei Honda
- , Guy McCusker
- University of Edinburgh
- University of Oxford
Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
154
Link opens in a new tab
Citations
(SciVal)