Discrete Lawvere theories and computational effects
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.
|Creators||Hyland, M.and Power, J.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)