Discrete Lawvere theories and computational effects
Reference:
Hyland, M. and Power, J., 2006. Discrete Lawvere theories and computational effects. Theoretical Computer Science, 366 (1-2), pp. 144-162.
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.07.007
Details
| Item Type | Articles |
| Creators | Hyland, M.and Power, J. |
| DOI | 10.1016/j.tcs.2006.07.007 |
| Departments | Faculty of Science > Computer Science |
| Refereed | Yes |
| Status | Published |
| ID Code | 5344 |
Export
Actions (login required)
| View Item |
