# nLab Jamie Vicary

## Selected writings

On quantum measurement formulated in quantum information theory via dagger-compact categories in terms of Frobenius algebras:

• Jamie Vicary, The Topology of Quantum Algorithms, (LICS 2013) Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (2013) 93-102 $[$arXiv:1209.3917, doi:10.1109/LICS.2013.14$]$

On the online proof assistant Globular for higher dimensional rewriting via semistrict globular higher categories:

On monoidal category-theory with an eye towards quantum information theory in terms of dagger-compact categories and quantum computation:

category: people

Last revised on November 13, 2022 at 09:26:47. See the history of this page for a list of all contributions to it.