The following pages link to (Q4001132):
Displayed 5 items.
- System \(T\), call-by-value and the minimum problem (Q1274979) (← links)
- Decidability results for primitive recursive algorithms (Q1399975) (← links)
- A unary representation result for system \(T\) (Q1817075) (← links)
- A complete characterization of primitive recursive intensional behaviours (Q3514635) (← links)
- On the asymptotic behaviour of primitive recursive algorithms (Q5958756) (← links)