Combining effects: sum and tensor

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