2 citations · 6 across the 9 of their papers we have counts for
1 paper · 1 filter
Yoàv Montacute, Nihil Shah
The pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a categorical interpretation for the k-pebble games from finite model theory. The coKleisli category of the p…