TY - RPRT TI - Ordered semirings and subadditive morphisms AU - Soichiro Fujii PY - 2023 UR - https://arxiv.org/abs/2311.03862 ID - 2311.03862 ER -