TY  - RPRT
TI  - From Herbrand schemes to functional interpretation
AU  - Sebastian Enqvist-Pyk
PY  - 2026
UR  - https://arxiv.org/abs/2603.14933
ID  - 2603.14933
ER  -