Tools
Fernández, Maribel and Mackie, Ian (2002) Call-by-Value lambda-Graph Rewriting Without Rewriting. In: Lecture Notes 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: | Ian Mackie |
Date Deposited: | 06 Feb 2012 18:55 |
Last Modified: | 12 Apr 2012 12:24 |
URI: | http://sro.sussex.ac.uk/id/eprint/18944 |