Gordon D. Plotkin, John Power. Logic for Computational Effects: Work in Progress. In Joseph M. Morris, Benjamin Aziz, Frédéric Oehl, editors, 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003. Workshops in Computing, BCS, 2003. [doi]
@inproceedings{PlotkinP03,
title = {Logic for Computational Effects: Work in Progress},
author = {Gordon D. Plotkin and John Power},
year = {2003},
url = {http://ewic.bcs.org/conferences/2003/iwfm03/papers/paper3.htm},
tags = {logic},
researchr = {https://researchr.org/publication/PlotkinP03},
cites = {0},
citedby = {0},
booktitle = {6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003},
editor = {Joseph M. Morris and Benjamin Aziz and Frédéric Oehl},
series = {Workshops in Computing},
publisher = {BCS},
}