The following pages link to (Q3431405):
Displaying 6 items.
- On the expressive power of programming languages (Q1183552) (← links)
- The fixed point problem of a simple reversible language (Q1989327) (← links)
- The efficiency of primitive recursive functions: a programmer's view (Q2355684) (← links)
- Extending the loop language with higher-order procedural variables (Q2946583) (← links)
- A complete characterization of primitive recursive intensional behaviours (Q3514635) (← links)
- (Q4513599) (← links)