35 citations · 57 across the 5 of their papers we have counts for
1 paper · 1 filter
Jan A. Bergstra, Alban Ponse
We introduce an algebra of instruction sequences by presenting a semigroup C in which programs can be represented without directional bias: in terms of the next instruction to be e…