Combining Computational Effects: commutativity & sum

M Hyland, G D Plotkin, John Power

Research output: Chapter in Book/Report/Conference proceedingChapter

26 Citations (SciVal)
Original languageEnglish
Title of host publicationProceedings of IFIP TCS'2002
EditorsR A Baeza-Yates, U Montanari, N Santoro
PublisherKluwer
Pages474-484
Number of pages11
Publication statusPublished - 2002

Cite this