Pages that link to "Item:Q5014598"
From MaRDI portal
The following pages link to Aspects of Categorical Recursion Theory (Q5014598):
Displaying 5 items.
- Categorical characterizations of the natural numbers require primitive recursion (Q476119) (← links)
- Axiomatizing iteration categories (Q2707234) (← links)
- An existence theorem for recursion categories (Q3211292) (← links)
- (Q3720582) (← links)
- Algebra and Coalgebra in Computer Science (Q5492828) (← links)