Jamie Vicary

(Former)

Publications

  1. 2014
  2. Published

    Wormholes and entanglement

    Jamie Vicary, 7 Nov 2014, In: Classical and Quantum Gravity. 31, 21, 11 p., 214007.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem

    Jamie Vicary, 28 Dec 2014, Proceedings of the 11th workshop on Quantum Physics and Logic (QPL 2014). Coecke, B., Hasuo, I. & Panangaden, P. (eds.). Open Publishing Association, p. 316-322 (Electronic Proceedings in Theoretical Computer Science; vol. 172).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Published

    Abstract structure of unitary oracles for quantum algorithms

    Jamie Vicary, 28 Dec 2014, Proceedings of the 11th workshop on Quantum Physics and Logic (QPL 2014). Coecke, B., Hasuo, I. & Panangaden, P. (eds.). Open Publishing Association, p. 270-284 (Electronic Proceedings in Theoretical Computer Science; vol. 172).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Published

    Mixed quantum states in higher categories

    Jamie Vicary & , 28 Dec 2014, Proceedings of the 11th Workshop on Quantum Physics and Logic (QPL 2014). Coecke, B., Hasuo, I. & Panangaden, P. (eds.). Open Publishing Association, p. 304-315 (Electronic Proceedings in Theoretical Computer Science; vol. 172).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. 2016
  7. Published

    Globular: an online proof assistant for higher-dimensional rewriting

    Jamie Vicary, 16 Jun 2016, Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl, p. 34:1-34:11 11 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 52).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    Quantum Latin squares and unitary error bases

    Jamie Vicary, 1 Nov 2016, In: Quantum Information and Computation. 16, 15-16, p. 1318-1332

    Research output: Contribution to journalArticlepeer-review

  9. 2017
  10. Published

    Tight Reference Frame–Independent Quantum Teleportation

    Jamie Vicary, 1 Jan 2017, Proceedings 13th International Conference on Quantum Physics and Logic. Duncan, R. & Heunen, C. (eds.). Open Publishing Association, p. 202-214 (Electronic Proceedings in Theoretical Computer Science; vol. 236).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published

    Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)

    Jamie Vicary, 17 Jan 2017, Proceedings Fourth International Workshop on Linearity . Cervesato, I. & Fernández, M. (eds.). Open Publishing Association, p. 33-43 (Electronic Proceedings in Theoretical Computer Science; vol. 238).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Published

    Biunitary constructions in quantum information

    Jamie Vicary, 4 Jun 2017. 48 p.

    Research output: Contribution to conference (unpublished)Paperpeer-review

  13. Published

    Data structures for quasistrict higher categories

    Jamie Vicary, 18 Aug 2017, Proceedings of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017). IEEE Computer Society, 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 Next