Jamie Vicary

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 31

Top Topics

Presburger Arithmetic

Algebraic Structures

Extended Abstract

Top Venues

Log. Methods Comput. Sci.

Publications

Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary
homotopy.io: a proof assistant for finitely-presented globular n-categories. CoRR (2024)
Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary
homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories. FSCD (2024)
Eric Finster, Alex Rice, Jamie Vicary
A Syntax for Strictly Associative and Unital ∞-Categories. LICS (2024)
Eric Finster, Alex Rice, Jamie Vicary
Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory. CoRR (2023)
Chiara Sarti, Jamie Vicary
Posetal Diagrams for Logically-Structured Semistrict Higher Categories. ACT (2023)
Paulina L. A. Goedicke, Jamie Vicary
A Categorical Model for Classical and Quantum Block Designs. CoRR (2023)
Lukas Heidemann, David Reutter, Jamie Vicary
Zigzag normalisation for associative n-categories. CoRR (2022)
Eric Finster, David Reutter, Jamie Vicary, Alex Rice
A Type Theory for Strictly Unital ∞-Categories. LICS (2022)
Antonin Delpeuch, Jamie Vicary
Normalization for planar string diagrams and a quadratic equivalence algorithm. Log. Methods Comput. Sci. 18 (1) (2022)
Lukas Heidemann, David Reutter, Jamie Vicary
Zigzag normalisation for associative n-categories. LICS (2022)
Nick Hu, Jamie Vicary
Traced Monoidal Categories as Algebraic Structures in Prof. MFPS (2021)
Eric Finster, Alex Rice, Jamie Vicary
A Type Theory for Strictly Associative Infinity Categories. CoRR (2021)
Antonin Delpeuch, Jamie Vicary
The Word Problem for Braided Monoidal Categories is Unknot-Hard. ACT (2021)
Jamie Vicary
Online worldwide seminar on logic and semantics https: //www.cs.bham.ac.uk/~vicaryjo/owls. ACM SIGLOG News 7 (3) (2020)
Eric Finster, David Reutter, Jamie Vicary
A Type Theory for Strictly Unital ∞-Categories. CoRR (2020)
David Reutter, Jamie Vicary
High-level methods for homotopy construction in associative n-categories. LICS (2019)
David Reutter, Jamie Vicary
A classical groupoid model for quantum networks. Log. Methods Comput. Sci. 15 (1) (2019)
Lawrence Dunn, Jamie Vicary
Coherence for Frobenius pseudomonoids and the geometry of linear proofs. Log. Methods Comput. Sci. 15 (3) (2019)
Krzysztof Bar, Aleks Kissinger, Jamie Vicary
Globular: an online proof assistant for higher-dimensional rewriting. Log. Methods Comput. Sci. 14 (1) (2018)
Antonin Delpeuch, Jamie Vicary
Normal forms for planar connected string diagrams. CoRR (2018)
Benjamin Musto, Jamie Vicary
Orthogonality for Quantum Latin Isometry Squares. QPL (2018)
Krzysztof Bar, Jamie Vicary
Data structures for quasistrict higher categories. LICS (2017)
David Reutter, Jamie Vicary
A 2-Categorical Approach to Composing Quantum Structures. CALCO (2017)
David Reutter, Jamie Vicary
A Classical Groupoid Model for Quantum Networks. CALCO (2017)
David Reutter, Jamie Vicary
Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract). QPL (2017)
Lawrence Dunn, Jamie Vicary
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract). LINEARITY (2016)
Benjamin Musto, Jamie Vicary
Quantum Latin squares and unitary error bases. Quantum Inf. Comput. 16 (15&16) (2016)
Lawrence Dunn, Jamie Vicary
Surface proofs for linear logic. CoRR (2016)
Krzysztof Bar, Aleks Kissinger, Jamie Vicary
Globular: An Online Proof Assistant for Higher-Dimensional Rewriting. FSCD (2016)
Krzysztof Bar, Aleks Kissinger, Jamie Vicary
Globular: an online proof assistant for higher-dimensional rewriting. CoRR (2016)
Dominic Verdon, Jamie Vicary
Tight Reference Frame-Independent Quantum Teleportation. QPL (2016)
Krzysztof Bar, Jamie Vicary
Groupoid Semantics for Thermal Computing. CoRR (2014)
Chris Heunen, Jamie Vicary, Linde Wester
Mixed quantum states in higher categories. QPL (2014)
W. J. Zeng, Jamie Vicary
Abstract structure of unitary oracles for quantum algorithms. QPL (2014)
Krzysztof Bar, Jamie Vicary
A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem. QPL (2014)
Bob Coecke, Dusko Pavlovic, Jamie Vicary
A new description of orthogonal bases. Math. Struct. Comput. Sci. 23 (3) (2013)
Mike Stay, Jamie Vicary
Bicategorical Semantics for Nondeterministic Computation CoRR (2013)
Jamie Vicary
Topological Structure of Quantum Algorithms. LICS (2013)
Mike Stay, Jamie Vicary
Bicategorical Semantics for Nondeterministic Computation. MFPS (2013)
Jamie Vicary
Higher Semantics of Quantum Protocols. LICS (2012)
Jamie Vicary
Categorical Properties of The Complex Numbers. Electron. Notes Theor. Comput. Sci. 270 (2) (2011)
Jamie Vicary
Categorical Formulation of Finite-dimensional C*-algebras. Electron. Notes Theor. Comput. Sci. 270 (1) (2011)