The following pages link to Fixed-point operations on ccc's. I (Q672122):
Displaying 10 items.
- An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
- The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807) (← 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)
- Finitary Semantics of Linear Logic and Higher-Order Model-Checking (Q2946341) (← links)
- Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468) (← links)
- Typing Weak MSOL Properties (Q2949449) (← links)
- Equational axioms associated with finite automata for fixed point operations in cartesian categories (Q2973247) (← links)
- Attribute Grammars and Categorical Semantics (Q3519507) (← links)
