TY  - RPRT
TI  - On the Herbrand Functional Interpretation
AU  - Paulo Oliva
AU  - Chuangjie Xu
PY  - 2019
DO  - 10.1002/malq.201900067
UR  - https://arxiv.org/abs/1912.01333
ID  - 1912.01333
ER  -