TY - RPRT TI - A Recipe for State-and-Effect Triangles AU - Bart Jacobs PY - 2017 DO - 10.23638/lmcs-13(2:6)2017 UR - https://arxiv.org/abs/1703.09034 ID - 1703.09034 ER -