Research

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
CreatorsPlotkin, G. D.and Power, J.
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code26502

Export

Actions (login required)

View Item