TY - RPRT TI - Parallelism Theorem and Derived Rules for Parallel Coherent Transformations AU - Thierry Boy de la Tour PY - 2019 UR - https://arxiv.org/abs/1907.06585 ID - 1907.06585 ER -