Full abstraction for Idealized Algol with Passive Expressions.

Abramsky, Samson and McCusker, Guy (1999) Full abstraction for Idealized Algol with Passive Expressions. Theoretical Computer Science, 227. pp. 3-42.

Full text not available from this repository.
Item Type: Article
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: EPrints Services
Date Deposited: 06 Feb 2012 18:26
Last Modified: 27 Mar 2012 08:02
URI: http://sro.sussex.ac.uk/id/eprint/16398
📧 Request an update