The following pages link to (Q5089293):
Displaying 5 items.
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- (Q5094149) (← links)
- Explainability of probabilistic bisimilarity distances for labelled Markov chains (Q6091199) (← links)
- A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)