@misc{indiciae01d959408c08,
  title = {Topos logic in measurement-based quantum computation},
  author = {Leon Loveridge and Raouf Dridi and Robert Raussendorf},
  year = {2015},
  doi = {10.1098/rspa.2014.0716},
  url = {https://arxiv.org/abs/1408.0745},
  note = {Source identifier: 1408.0745}
}