TY - RPRT TI - Category-Graded Algebraic Theories and Effect Handlers AU - Takahiro Sanada PY - 2023 DO - 10.46298/entics.10491 UR - https://arxiv.org/abs/2212.07015 ID - 2212.07015 ER -