The following pages link to (Q2863893):
Displayed 5 items.
- On coalgebras over algebras (Q639641) (← links)
- Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Continuity as a computational effect (Q2374315) (← links)
- On Coalgebras over Algebras (Q2919449) (← links)