TY  - RPRT
TI  - Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
AU  - Dimitrios Alexopoulos
AU  - Elliot Bobrow
AU  - Yusuf Demir
AU  - Bryan Ford
AU  - Stefan Milenković
AU  - Omar Muhammad
AU  - Ananthajit Srikanth
PY  - 2026
UR  - https://arxiv.org/abs/2510.25369
ID  - 2510.25369
ER  -