TY - RPRT TI - Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers AU - Jan A. Bergstra PY - 2019 UR - https://arxiv.org/abs/1904.08722 ID - 1904.08722 ER -