Combining effects (2006)

by M Hyland, G Plotkin, J Power
Venue:Sum and tensor. Theoretical Computer Science