Abramsky, S;
Shah, N;
(2021)
Relating structure and power: Comonadic semantics for computational resources.
Journal of Logic and Computation
, 31
(6)
pp. 1390-1428.
10.1093/logcom/exab048.