TY - RPRT TI - On Quasi Ordinal Diagram Systems AU - Mitsuhiro Okada AU - Yuta Takahashi PY - 2019 DO - 10.4204/eptcs.288.4 UR - https://arxiv.org/abs/1902.02012 ID - 1902.02012 ER -