Combining effects: sum and tensor (0)

by M Hyland, G D Plotkin, A J Power
Venue:Theoretical Computer Science