The following pages link to Presenting Distributive Laws (Q5891183):
Displayed 8 items.
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- (Q5028467) (← links)
- (Q5240186) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)
- (Q5875399) (← links)