Pages that link to "Item:Q2946322"
From MaRDI portal
The following pages link to Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322):
Displaying 5 items.
- An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
- Equational axioms associated with finite automata for fixed point operations in cartesian categories (Q2973247) (← links)
- Dagger extension theorem (Q3094166) (← links)
- (Q5203698) (← links)
- Inversion, Iteration, and the Art of Dual Wielding (Q5237212) (← links)