TY - RPRT TI - The $δ$-calculus: from distinction to arithmetic AU - Jonathan Washburn AU - Milan Zlatanović PY - 2026 UR - https://arxiv.org/abs/2607.29349 ID - 2607.29349 ER -