Similar Items: When is a container a comonad?
- Game Comonads & Generalised Quantifiers
- The Pebble-Relation Comonad in Finite Model Theory
- Containment for Conditional Tree Patterns
- Quantified Constraints and Containment Problems
- On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
- Representing Continuous Functions between Greatest Fixed Points of Indexed Containers