The following pages link to (Q2707234):
Displayed 10 items.
- An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
- Equational properties of iterative monads (Q618163) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468) (← links)
- Equational axioms associated with finite automata for fixed point operations in cartesian categories (Q2973247) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- (Q4968384) (← links)
- (Q5014444) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)