Combining effects: sum and tensor

by Martin Hyland , Gordon Plotkin , John Power
Citations:41 - 5 self