Folgen
Jamie Vicary
Jamie Vicary
Bestätigte E-Mail-Adresse bei cl.cam.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Categories for Quantum Theory: an introduction
C Heunen, J Vicary
Oxford University Press, 2019
229*2019
A new description of orthogonal bases
B Coecke, D Pavlovic, J Vicary
Mathematical structures in computer science 23 (3), 555-567, 2013
217*2013
Modular categories as representations of the 3-dimensional bordism 2-category
B Bartlett, CL Douglas, CJ Schommer-Pries, J Vicary
arXiv preprint arXiv:1509.06811, 2015
1062015
Categorical formulation of finite-dimensional quantum algebras
J Vicary
Communications in Mathematical Physics 304, 765-796, 2011
89*2011
Globular: an online proof assistant for higher-dimensional rewriting
K Bar, A Kissinger, J Vicary
Logical Methods in Computer Science 14, 2018
742018
Quantum Latin squares and unitary error bases
B Musto, J Vicary
arXiv preprint arXiv:1504.02715, 2015
622015
Higher semantics of quantum protocols
J Vicary
2012 27th Annual IEEE Symposium on Logic in Computer Science, 606-615, 2012
56*2012
A categorical framework for the quantum harmonic oscillator
J Vicary
International Journal of Theoretical Physics 47, 3408-3447, 2008
402008
Wormholes and entanglement
JC Baez, J Vicary
Classical and Quantum Gravity 31 (21), 214007, 2014
352014
Topological structure of quantum algorithms
J Vicary
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 93-102, 2013
352013
Biunitary constructions in quantum information
DJ Reutter, J Vicary
arXiv preprint arXiv:1609.07775, 2016
332016
Data structures for quasistrict higher categories
K Bar, J Vicary
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
302017
High-level methods for homotopy construction in associative n-categories
D Reutter, J Vicary
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
282019
WEDS: a Web services-based environment for distributed simulation
PV Coveney, J Vicary, J Chin, M Harvey
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2005
282005
Extended 3-dimensional bordism as the theory of modular objects
B Bartlett, CL Douglas, CJ Schommer-Pries, J Vicary
arXiv preprint arXiv:1411.0945, 2014
262014
Completeness of†-categories and the complex numbers
J Vicary
Journal of Mathematical Physics 52 (8), 2011
25*2011
Exact dynamics in dual-unitary quantum circuits with projective measurements
PW Claeys, M Henry, J Vicary, A Lamacraft
Physical Review Research 4 (4), 043212, 2022
212022
Normalization for planar string diagrams and a quadratic equivalence algorithm
A Delpeuch, J Vicary
Logical Methods in Computer Science 18, 2022
202022
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
L Dunn, J Vicary
Logical Methods in Computer Science 15, 2019
192019
A type theory for strictly unital∞-categories
E Finster, D Reutter, J Vicary, A Rice
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
182022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20