@Inproceedings{EPTCS158.7, author = {Spitters, Bas and Vickers, Steven and Wolters, Sander}, year = {2014}, title = {Gelfand spectra in Grothendieck toposes using geometric mathematics}, editor = {Duncan, Ross and Panangaden, Prakash}, booktitle = {{\rm Proceedings 9th Workshop on} Quantum Physics and Logic, {\rm Brussels, Belgium, 10-12 October 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {158}, publisher = {Open Publishing Association}, pages = {77-107}, doi = {10.4204/EPTCS.158.7}, }