Pages that link to "Item:Q4110990"
From MaRDI portal
The following pages link to Another simplification of the recursion scheme (Q4110990):
Displayed 6 items.
- Spaces with combinators (Q688513) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Primitive iteration and unary functions (Q1115608) (← links)
- A classification of the one-argument primitive recursive functions (Q3333020) (← links)
- Definitional schemes for primitive recursive and computable functions (Q5037214) (← links)
- Iteration on notation and unary functions (Q5396224) (← links)