Manuscript I@2 · I.tex · section · 85631fa7
A syntactic linear step bound
Configurations and specified Born semantics › A syntactic linear step bound · lines 713–718
Termination, finite branching, and normalized transitions make these laws well defined.