The following pages link to Categorical fixed point calculus (Q5057473):
Displaying 9 items.
- Monads for behaviour (Q265824) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Induction, Coinduction, and Adjoints (Q2842818) (← links)
- (Q5013826) (← links)
- Partially ordered objects in a topos (Q5023614) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- Unifying structured recursion schemes (Q5371980) (← links)
