A fully abstract relational model of syntactic control of interference
Reference:
McCusker, G., 2002. A fully abstract relational model of syntactic control of interference. In: Bradfield, J., ed. Computer Science Logic: Proceedings of 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL. Vol. 2471. Berlin, Germany: Springer, pp. 445-490.
Related documents:
This repository does not currently have the full-text of this item.You may be able to access a copy if URLs are provided below.
Official URL:
http://dx.doi.org/10.1007/3-540-45793-3_17
Details
| Item Type | Book Sections |
| Creators | McCusker, G. |
| Editors | Bradfield, J. |
| DOI | 10.1007/3-540-45793-3_17 |
| Departments | Faculty of Science > Computer Science |
| Status | Published |
| ID Code | 18563 |
| Additional Information | 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings |
Export
Actions (login required)
| View Item |
