@misc{indiciae98c095895ab3,
  title = {Realisability semantics of abstract focussing, formalised},
  author = {Stéphane Graham-Lengrand},
  year = {2015},
  doi = {10.4204/eptcs.197.3},
  url = {https://arxiv.org/abs/1511.04179},
  note = {Source identifier: 1511.04179}
}