Pages that link to "Item:Q3729992"
From MaRDI portal
The following pages link to Reducing recursion to iteration by algebraic extension (Q3729992):
Displaying 8 items.
- On the naturality of the iteration and recursive specifications (Q686064) (← links)
- On list primitive recursion and the complexity of computing inf (Q688724) (← links)
- A new approach to recursion removal (Q1185010) (← links)
- Reducing recursion to iteration by means of pairs and N-tuples (Q3789047) (← links)
- Negative Results on the Reduction of the Recursion Scheme (Q3803098) (← links)
- Functional programming and combinatory algebras (Q3821565) (← links)
- Primitive recursion on finitely decomposable Cooper algebras (Q3977164) (← links)
- A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration (Q5195245) (← links)