Jamie Vicary

According to our database, Jamie Vicary authored at least 34 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

homotopy.io: a proof assistant for finitely-presented globular n-categories.

Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary

CoRR, 2024

2023

A Categorical Model for Classical and Quantum Block Designs.

Paulina L. A. Goedicke, Jamie Vicary

CoRR, 2023

Posetal Diagrams for Logically-Structured Semistrict Higher Categories.

Chiara Sarti, Jamie Vicary

CoRR, 2023

Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory.

Eric Finster, Alex Rice, Jamie Vicary

CoRR, 2023

2022

Normalization for planar string diagrams and a quadratic equivalence algorithm.

Antonin Delpeuch, Jamie Vicary

Log. Methods Comput. Sci., 2022

Zigzag normalisation for associative n-categories.

Lukas Heidemann, David Reutter, Jamie Vicary

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

A Type Theory for Strictly Unital ∞-Categories.

Eric Finster, David Reutter, Jamie Vicary, Alex Rice

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Traced Monoidal Categories as Algebraic Structures in Prof.

Nick Hu, Jamie Vicary

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

A Type Theory for Strictly Associative Infinity Categories.

Eric Finster, Alex Rice, Jamie Vicary

CoRR, 2021

2020

Online worldwide seminar on logic and semantics https: //www.cs.bham.ac.uk/~vicaryjo/owls.

Jamie Vicary

ACM SIGLOG News, 2020

A Type Theory for Strictly Unital ∞-Categories.

Eric Finster, David Reutter, Jamie Vicary

CoRR, 2020

2019

A classical groupoid model for quantum networks.

David Reutter, Jamie Vicary

Log. Methods Comput. Sci., 2019

Coherence for Frobenius pseudomonoids and the geometry of linear proofs.

Lawrence Dunn, Jamie Vicary

Log. Methods Comput. Sci., 2019

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

David Reutter, Jamie Vicary

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Globular: an online proof assistant for higher-dimensional rewriting.

Krzysztof Bar, Aleks Kissinger, Jamie Vicary

Log. Methods Comput. Sci., 2018

Normal forms for planar connected string diagrams.

Antonin Delpeuch, Jamie Vicary

CoRR, 2018

Orthogonality for Quantum Latin Isometry Squares.

Benjamin Musto, Jamie Vicary

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

2017

Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract).

David Reutter, Jamie Vicary

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Data structures for quasistrict higher categories.

Krzysztof Bar, Jamie Vicary

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

A 2-Categorical Approach to Composing Quantum Structures.

David Reutter, Jamie Vicary

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Quantum Latin squares and unitary error bases.

Benjamin Musto, Jamie Vicary

Quantum Inf. Comput., 2016

Tight Reference Frame-Independent Quantum Teleportation.

Dominic Verdon, Jamie Vicary

Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract).

Lawrence Dunn, Jamie Vicary

Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016

Surface proofs for linear logic.

Lawrence Dunn, Jamie Vicary

CoRR, 2016

2014

Abstract structure of unitary oracles for quantum algorithms.

W. J. Zeng, Jamie Vicary

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

Mixed quantum states in higher categories.

Chris Heunen, Jamie Vicary, Linde Wester

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

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

Krzysztof Bar, Jamie Vicary

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

Groupoid Semantics for Thermal Computing.

Krzysztof Bar, Jamie Vicary

CoRR, 2014

2013

A new description of orthogonal bases.

Bob Coecke, Dusko Pavlovic, Jamie Vicary

Math. Struct. Comput. Sci., 2013

Bicategorical Semantics for Nondeterministic Computation.

Mike Stay, Jamie Vicary

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Topological Structure of Quantum Algorithms.

Jamie Vicary

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012

Higher Semantics of Quantum Protocols.

Jamie Vicary

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2009

Categorical Properties of The Complex Numbers.

Jamie Vicary

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

2008

Categorical Formulation of Finite-dimensional C*-algebras.

Jamie Vicary

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008