Pages that link to "Item:Q4853332"
From MaRDI portal
The following pages link to SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S (Q4853332):
Displaying 5 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)
- Parametrized fixed points and their applications to session types (Q2133474) (← links)
- Solving polynomial fixed point equations (Q5096869) (← links)
