Combining Computational Effects: Commutativity and (2002)

by M Hyland, G D Plotkin, A J Power
Venue:Sum, Proc. IFIP Conference on Theoretical Computer Science