The following pages link to (Q4375811):
Displaying 8 items.
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- Axiomatizing iteration categories (Q2707234) (← links)
- Equational axioms associated with finite automata for fixed point operations in cartesian categories (Q2973247) (← links)
- Dagger extension theorem (Q3094166) (← links)
- (Q3342632) (← links)
- (Q4783621) (← links)
- (Q5203698) (← links)