HIGHLIGHTS
- who: Samson, Abramsky and Nihil, Shah from the Oxford University Department of Computer Science have published the Article: Relating Structure and Power: Comonadic Semantics for Computational Resources, in the Journal: CSL 2018 of /2018/
- what: The authors show how each of these types of games can be described in terms of an indexed family of comonads on the category of relational structures and homomorphisms. The authors develop a novel approach to relating categorical semantics, which exemplifies the first strand, to finite model theory, which exemplifies the second.
- future: Directions From the categorical perspective . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.