25 citations · 102 across the 22 of their papers we have counts for
Showing 2020 · cs.LOShow all
2 papers · 2 filters
cs.LO2020★ 1 cited
Comonadic semantics for guarded fragments
Samson Abramsky, Dan Marsden
In previous work, Abramsky, Dawar and Wang (LiCS 2017) and Abramsky and Shah (CSL 2018) have shown how a range of model comparison games which play a central role in finite model t…
cs.LO2020★ 6 cited
No-Go Theorems for Distributive Laws
Maaike Zwart, Dan Marsden
Monads are commonplace in computer science, and can be composed using Beck's distributive laws. Unfortunately, finding distributive laws can be extremely difficult and error-prone.…