TY - RPRT TI - A Turing machine model for Kleene Type 2 recursion AU - Philip D Welch PY - 2026 UR - https://arxiv.org/abs/2606.24664 ID - 2606.24664 ER -