TY - RPRT TI - Weave Realizability for D-type AU - James Hughes PY - 2022 DO - 10.2140/agt.2023.23.2735 UR - https://arxiv.org/abs/2101.10306 ID - 2101.10306 ER -