TY - RPRT TI - Distributive laws via admissibility AU - Charles Walker PY - 2018 UR - https://arxiv.org/abs/1706.09575 ID - 1706.09575 ER -