TY  - RPRT
TI  - Comonadic semantics for guarded fragments
AU  - Samson Abramsky
AU  - Dan Marsden
PY  - 2021
UR  - https://arxiv.org/abs/2008.11094
ID  - 2008.11094
ER  -