TY - RPRT TI - Toward higher-order infinite time Turing machines: simulational $Γ$-machines AU - Olivier Bournez AU - Olivier Finkel AU - Johan Girardot PY - 2025 UR - https://arxiv.org/abs/2509.00163 ID - 2509.00163 ER -