Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic. - Elliot Bobrow; Bryan Ford; Stefan Milenkovic (CoRR, 2025)