The following pages link to (Q5875398):
Displaying 8 items.
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Graded algebraic theories (Q2200837) (← links)
- (Q5028440) (← links)
- (Q5875398) (← links)
- Twists of graded algebras in monoidal categories (Q6632092) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)
- Graded semantics and graded logics for Eilenberg-Moore coalgebras (Q6666776) (← links)
