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 |
