Pages that link to "Item:Q1898417"
From MaRDI portal
The following pages link to Categorial generalization of algebraic recursion theory (Q1898417):
Displaying 10 items.
- A Mezei-Wright theorem for categorical algebras (Q1044831) (← links)
- Generalized algebraic theories and contextual categories (Q1096716) (← links)
- Categorifying induction formulae via divergent series (Q1732901) (← links)
- An existence theorem for recursion categories (Q3211292) (← links)
- (Q3296948) (← links)
- (Q3720582) (← links)
- The logic of recursive equations (Q4212915) (← links)
- On the recursion theorem in iterative operative spaces (Q4328830) (← links)
- (Q4783621) (← links)
- Foundations of Software Science and Computation Structures (Q5308447) (← links)