@misc{indiciaedd550c4a4d8d,
  title = {On the Herbrand Functional Interpretation},
  author = {Paulo Oliva and Chuangjie Xu},
  year = {2019},
  doi = {10.1002/malq.201900067},
  url = {https://arxiv.org/abs/1912.01333},
  note = {Source identifier: 1912.01333}
}