Combining effects: sum and tensor
Reference:
Hyland, M., Plotkin, G. and Power, J., 2006. Combining effects: sum and tensor. Theoretical Computer Science, 357 (1-3), pp. 70-99.
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.1016/j.tcs.2006.03.013
Details
Item Type | Articles |
Creators | Hyland, M., Plotkin, G. and Power, J. |
DOI | 10.1016/j.tcs.2006.03.013 |
Departments | Faculty of Science > Computer Science |
Refereed | Yes |
Status | Published |
ID Code | 5345 |
Export
Actions (login required)
View Item |