Combining Computational Effects: commutativity & sum

M Hyland, G D Plotkin, John Power

Research output: Chapter or section in a book/report/conference proceeding › Book chapter

29 Citations (SciVal)

Original language	English
Title of host publication	Proceedings of IFIP TCS'2002
Editors	R A Baeza-Yates, U Montanari, N Santoro
Publisher	Kluwer
Pages	474-484
Number of pages	11
Publication status	Published - 2002

Cite this

@inbook{c85e9b959a0e45828b9899668d1b16a6,

title = "Combining Computational Effects: commutativity \& sum",

author = "M Hyland and Plotkin, \{G D\} and John Power",

year = "2002",

language = "English",

pages = "474--484",

editor = "Baeza-Yates, \{R A\} and U Montanari and N Santoro",

booktitle = "Proceedings of IFIP TCS'2002",

publisher = "Kluwer",

}