TY - RPRT TI - State transitions as morphisms for complete lattices AU - Bob Coecke AU - Isar Stubbe PY - 2000 UR - https://arxiv.org/abs/math/0008039 ID - math/0008039 ER -