Combining Computational Effects: Commutativity and Sum (2002)

by Martin Hyland, Gordon Plotkin, John Power