The pebbling comonad in Finite Model Theory.

Samson Abramsky, Anuj Dawar, Pengming Wang

Browse the full LICS paper archive.