Research

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
CreatorsHyland, M.and Power, J.
DOI10.1016/j.tcs.2006.07.007
DepartmentsFaculty of Science > Computer Science
RefereedYes
StatusPublished
ID Code5344

Export

Actions (login required)

View Item