TY  - RPRT
TI  - Topos logic in measurement-based quantum computation
AU  - Leon Loveridge
AU  - Raouf Dridi
AU  - Robert Raussendorf
PY  - 2015
DO  - 10.1098/rspa.2014.0716
UR  - https://arxiv.org/abs/1408.0745
ID  - 1408.0745
ER  -