@misc{indiciae4d1b95ff4bad,
  title = {A Classical Realizability Model for a Semantical Value Restriction},
  author = {Rodolphe Lepigre},
  year = {2016},
  doi = {10.1007/978-3-662-49498-1\_19},
  url = {https://arxiv.org/abs/1603.07484},
  note = {Source identifier: 1603.07484}
}