Comonadic semantics for guarded fragments.

Samson Abramsky, Dan Marsden

Browse the full LICS paper archive.