Combining effects: sum and tensor

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