Logic Programs as Coalgebras
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. (Contact Author)
|Item Type||Conference or Workshop Items (UNSPECIFIED)|
|Creators||McCusker, G.and Power, J.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)