Pages that link to "Item:Q5377703"
From MaRDI portal
The following pages link to Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703):
Displaying 6 items.
- Fixed-point operations on ccc's. I (Q672122) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Equational axioms associated with finite automata for fixed point operations in cartesian categories (Q2973247) (← links)
- Dagger extension theorem (Q3094166) (← links)
- (Q5203698) (← links)