Topos logic in measurement-based quantum computation

DOI10.1098/rspa.2014.0716zbMath1371.81083arXiv1408.0745OpenAlexW3100460021MaRDI QIDQ5362399

Raouf Dridi, Leon Loveridge, R. Raussendorf

Publication date: 29 September 2017

Published in: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1408.0745

Mathematics Subject Classification ID

Quantum computation (81P68) Categorical logic, topoi (03G30)

This page was built for publication: Topos logic in measurement-based quantum computation