Applications of geometric logic to topos approaches to quantum theory

  • Vickers, Steven (Principal Investigator)
  • 2 Conference contribution
Filter
Conference contribution

Search results

  • Conference contribution

    Gelfand Spectra in Grothendieck Toposes using Geometric Mathematics

    Spitters, B., Vickers, S. & Wolters, S., 2014, Proceedings 9th Workshop on Quantum Physics and Logic (QPL2012). Duncan, R. & Panangaden, P. (eds.). Open Publishing Association, Vol. 158. p. 77-107 31 p. (EPTCS; vol. 158).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    2 Citations (Scopus)
    160 Downloads (Pure)

  • The Born Rule as Structure of Spectral Bundles

    Fauser, B., Raynaud, G. & Vickers, S., 2012, Proceedings of the 8th International Workshop on Quantum Physics and Logic, Nijmegen 2011. Jacobs, B., Selinger, P. & Spitters, B. (eds.). Vol. 95. p. 81-90 10 p. (EPTCS; vol. 95).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    74 Downloads (Pure)