Combining computational eects: commutativity and sum (2002)

by M Hyland, G D Plotkin, G D, A J Power
Venue:Proceedings of IFIP Conf. On Theoretical Computer Science