@misc{indiciae1bcb41f1862a,
  title = {Intuitionistic nonstandard bounded modified realisability and functional interpretation},
  author = {Bruno Dinis and Jaime Gaspar},
  year = {2017},
  doi = {10.1016/j.apal.2017.12.004},
  url = {https://arxiv.org/abs/1512.07113},
  note = {Source identifier: 1512.07113}
}