Combining computational effects: commutativity and sum (2002)

by M Hyland, G Plotkin, J Power
Venue:in Proc. of IFIP 17th World Computer Congress, TC1 Stream / 2nd IFIP Int. Conf. on Theoretical Computer Science, TCS 2002