@misc{indiciaedaa01ceaa00b, title = {From Herbrand schemes to functional interpretation}, author = {Sebastian Enqvist-Pyk}, year = {2026}, url = {https://arxiv.org/abs/2603.14933}, note = {Source identifier: 2603.14933} }