TY - RPRT TI - Algebraic theories, monads, and arities AU - Charles Grellois PY - 2011 UR - https://arxiv.org/abs/1110.3294 ID - 1110.3294 ER -