@misc{indiciae246d2244704f,
  title = {Classical realizability and arithmetical formulæ},
  author = {Mauricio Guillermo and Étienne Miquey},
  year = {2015},
  url = {https://arxiv.org/abs/1403.0875},
  note = {Source identifier: 1403.0875}
}