Pages that link to "Item:Q4853332"

The following pages link to SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S (Q4853332):

Displaying 4 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)