@misc{indiciaefbe5fce083db,
  title = {Nonstandard functional interpretations and categorical models},
  author = {Amar Hadzihasanovic and Benno van den Berg},
  year = {2014},
  doi = {10.1215/00294527-3870348},
  url = {https://arxiv.org/abs/1402.0784},
  note = {Source identifier: 1402.0784}
}