Combining effects: sum and tensor, Theoretical Computer Science (to appear (0)

by J M E H Hyland, G D Plotkin, A J Power