Relating structure and power: Comonadic semantics for computational resources - Abramsky, Samson; Shah, Nihil (Journal of logic and computation, 2021)
Keywords: Ehrenfeucht–Fraïssé games; bisimulation; Finite model theory; pebble games; coalgebras of a comonad; comonads; coKleisli category; combinatorial games