Combining computational effects: commutativity and sum

by Martin Hyland , Gordon Plotkin , John Power
Citations:19 - 4 self