| Original language | English |
|---|---|
| Title of host publication | Proc. International Workshop on Formal Methods 03, British Com- puter Society Electronic Workshops in Computing |
| Publication status | Published - 2003 |
Logic for computational effects: work in progress
G D Plotkin, John Power
Research output: Chapter or section in a book/report/conference proceeding › Book chapter