Combining Effects (0)

by J M E Hyland, G D Plotkin, A J Power
Venue:Sum and Tensor, Clifford Lectures and the Mathematical Foundations of Programming Semantics