@Inproceedings{EPTCS236.11, author = {Rennela, Mathys and Staton, Sam and Furber, Robert}, year = {2017}, title = {Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras}, editor = {Duncan, Ross and Heunen, Chris}, booktitle = {{\rm Proceedings 13th International Conference on} Quantum Physics and Logic, {\rm Glasgow, Scotland, 6-10 June 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {236}, publisher = {Open Publishing Association}, pages = {161-173}, doi = {10.4204/EPTCS.236.11}, }