TY - RPRT TI - On the Computational Content of Moduli of Regularity and their Logical Strength AU - Ulrich Kohlenbach PY - 2026 DO - 10.4204/eptcs.441.11 UR - https://arxiv.org/abs/2603.04016 ID - 2603.04016 ER -