The following pages link to Generalized coiteration schemata (Q2843722):
Displaying 6 items.
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- On the naturality of the iteration and recursive specifications (Q686064) (← links)
- Multigames and strategies, coalgebraically (Q890378) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) (← links)
- Generalizing Substitution (Q4460688) (← links)