TY - RPRT TI - Extremal Type II $\mathbb{Z}_4$-codes constructed from binary doubly even self-dual codes of length $40$ AU - Masaaki Harada PY - 2017 UR - https://arxiv.org/abs/1706.03218 ID - 1706.03218 ER -