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

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

Cite this