Marsden, Dan
- Comonadic semantics for guarded fragments
2020/08/25 by Samson Abramsky, Abramsky, Samson, Dan Marsden +1 · 1 citation
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #semigroups and automata theory