Combining Computational Effects: commutativity & sum

M Hyland, G D Plotkin, John Power

Research output: Chapter in Book/Report/Conference proceedingChapter

24 Citations (Scopus)
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