TY - RPRT TI - Extension of i-modularity AU - Hassane Fliouet PY - 2017 UR - https://arxiv.org/abs/1707.05099 ID - 1707.05099 ER -