25 citations · 290 across the 54 of their papers we have counts for
1 paper · 2 filters
J. A. Bergstra, C. A. Middelburg
This paper presents an algebraic theory of instruction sequences with instructions for Turing tapes as basic instructions, the behaviours produced by the instruction sequences conc…