A fully abstract game semantics for general references.

Abramsky, Samson, Honda, Kohei and McCusker, Guy (1998) A fully abstract game semantics for general references. In: Unset, Thirteenth Annual IEEE Symposium on Logic in Computer Science..

Full text not available from this repository.
Item Type: Conference or Workshop Item (Paper)
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: EPrints Services
Date Deposited: 06 Feb 2012 19:32
Last Modified: 13 Apr 2012 08:16
URI: http://sro.sussex.ac.uk/id/eprint/21186
📧 Request an update