Tools
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://srodev.sussex.ac.uk/id/eprint/21186 |