Logic for computational effects: work in progress

G D Plotkin, John Power

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationProc. International Workshop on Formal Methods 03, British Com- puter Society Electronic Workshops in Computing
Publication statusPublished - 2003

Cite this

Plotkin, G. D., & 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