The following pages link to Traces for coalgebraic components (Q3005989):
Displaying 8 items.
- The coinductive resumption monad (Q283770) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Traces, Executions and Schedulers, Coalgebraically (Q2888488) (← links)
- Coalgebraic Trace Semantics via Forgetful Logics (Q2948557) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- Limits in categories of Vietoris coalgebras (Q3119464) (← links)
- Hybrid Automata as Coalgebras (Q3179412) (← links)
- Coalgebraic Infinite Traces and Kleisli Simulations (Q5275359) (← links)