Cobham's framework explicitly constrains both time (steps) and space (bitwidth) to ensure polynomial...
This proposition has not been edited since the history system was added.