Jamie Vicary

(Former)

1 - 10 out of 20Page size: 10
Sort by: Title

Publications

  1. 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 proceeding › Conference contribution

  2. Published

    A 2-Categorical Approach to Composing Quantum Structures

    Jamie Vicary, 2 Nov 2017, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Bonchi, F. & König, B. (eds.). Schloss Dagstuhl, p. 20:1-20:20 20 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 72).

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

  3. Published

    A Classical Groupoid Model for Quantum Networks

    Jamie Vicary, 2 Nov 2017, Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Bonchi, F. & König, B. (eds.). Schloss Dagstuhl, p. 19:1-19:18 18 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 72).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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 proceeding › Conference contribution

  5. Published

    Biunitary constructions in quantum information

    Jamie Vicary, 4 Jun 2017. 48 p.

    Research output: Contribution to conference (unpublished) › Paper › peer-review

  6. Published

    Coherence for Frobenius pseudomonoids and the geometry of linear proofs

    Jamie Vicary, 26 Jul 2019, In: Logical Methods in Computer Science. 15, 3

    Research output: Contribution to journal › Article › peer-review

  7. 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 proceeding › Conference contribution

  8. Published

    Globular: an online proof assistant for higher-dimensional rewriting

    Jamie Vicary, 22 Jan 2018, In: Logical Methods in Computer Science. 14, 1, 16 p., 8.

    Research output: Contribution to journal › Article › peer-review

  9. 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 proceeding › Conference contribution

  10. Published

    High-level methods for homotopy construction in associative n-categories

    Jamie Vicary, 5 Aug 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Xplore, p. 1-13 13 p.

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

Previous 1 2 Next