Logic for computational effects: work in progress
Reference:
Plotkin, G. D. and Power, J., 2003. Logic for computational effects: work in progress. In: Proc. International Workshop on Formal Methods 03, British Com- puter Society Electronic Workshops in Computing. .
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.
Details
| Item Type | Book Sections |
| Creators | Plotkin, G. D.and Power, J. |
| Departments | Faculty of Science > Computer Science |
| Status | Published |
| ID Code | 26502 |
Export
Actions (login required)
| View Item |
