TY - RPRT TI - Formal Verlinde Module AU - Yanli Song PY - 2014 UR - https://arxiv.org/abs/1404.4850 ID - 1404.4850 ER -