Jamie Vicary

49 papers A* 9B 6Journal 20Unranked 12
YearRankTypeTitle / Venue / Authors
2025 A* conf
Enforcing Idempotency in Neural Networks.
ICML
Nikolaj Banke Jensen, Jamie Vicary
2025 J jnl
Higher Eckmann-Hilton Arguments in Type Theory.
CoRR
Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary
2025 A* conf
Naturality for higher-dimensional path types.
LICS
Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary
2025 J jnl
Naturality for higher-dimensional path types.
CoRR
Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary
2025 J jnl
Parameter-free approximate equivariance for tasks with finite group symmetry.
CoRR
Riccardo Ali, Pietro Liò, Jamie Vicary
2024 A* conf
A Syntax for Strictly Associative and Unital ∞-Categories.
LICS
Eric Finster, Alex Rice, Jamie Vicary
2024 B conf
homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories.
FSCD
Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary
2024 J jnl
homotopy.io: a proof assistant for finitely-presented globular n-categories.
CoRR
Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary
2023 — conf
A Categorical Model for Classical and Quantum Block Designs.
ACT
Paulina L. A. Goedicke, Jamie Vicary
2023 — conf
Posetal Diagrams for Logically-Structured Semistrict Higher Categories.
ACT
Chiara Sarti, Jamie Vicary
2023 J jnl
Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory.
CoRR
Eric Finster, Alex Rice, Jamie Vicary
2022 A* conf
A Type Theory for Strictly Unital ∞-Categories.
LICS
Eric Finster, David Reutter, Jamie Vicary, Alex Rice
2022 J jnl
Normalization for planar string diagrams and a quadratic equivalence algorithm.
Log. Methods Comput. Sci.
Antonin Delpeuch, Jamie Vicary
2022 A* conf
Zigzag normalisation for associative n-categories.
LICS
Lukas Heidemann, David Reutter, Jamie Vicary
2022 J jnl
Zigzag normalisation for associative n-categories.
CoRR
Lukas Heidemann, David Reutter, Jamie Vicary
2021 J jnl
A Type Theory for Strictly Associative Infinity Categories.
CoRR
Eric Finster, Alex Rice, Jamie Vicary
2021 — ed.
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020.
ACT
David I. Spivak, Jamie Vicary
2021 — conf
The Word Problem for Braided Monoidal Categories is Unknot-Hard.
ACT
Antonin Delpeuch, Jamie Vicary
2021 B conf
Traced Monoidal Categories as Algebraic Structures in Prof.
MFPS
Nick Hu, Jamie Vicary
2020 J jnl
A Type Theory for Strictly Unital ∞-Categories.
CoRR
Eric Finster, David Reutter, Jamie Vicary
2020 J jnl
Online worldwide seminar on logic and semantics https: //www.cs.bham.ac.uk/~vicaryjo/owls.
ACM SIGLOG News
Jamie Vicary
2019 J jnl
A classical groupoid model for quantum networks.
Log. Methods Comput. Sci.
David Reutter, Jamie Vicary
2019 J jnl
Coherence for Frobenius pseudomonoids and the geometry of linear proofs.
Log. Methods Comput. Sci.
Lawrence Dunn, Jamie Vicary
2019 A* conf
High-level methods for homotopy construction in associative n-categories.
LICS
David Reutter, Jamie Vicary
2018 J jnl
Globular: an online proof assistant for higher-dimensional rewriting.
Log. Methods Comput. Sci.
Krzysztof Bar, Aleks Kissinger, Jamie Vicary
2018 J jnl
Normal forms for planar connected string diagrams.
CoRR
Antonin Delpeuch, Jamie Vicary
2018 — conf
Orthogonality for Quantum Latin Isometry Squares.
QPL
Benjamin Musto, Jamie Vicary
2017 B conf
A 2-Categorical Approach to Composing Quantum Structures.
CALCO
David Reutter, Jamie Vicary
2017 B conf
A Classical Groupoid Model for Quantum Networks.
CALCO
David Reutter, Jamie Vicary
2017 A* conf
Data structures for quasistrict higher categories.
LICS
Krzysztof Bar, Jamie Vicary
2017 — conf
Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract).
QPL
David Reutter, Jamie Vicary
2016 B conf
Globular: An Online Proof Assistant for Higher-Dimensional Rewriting.
FSCD
Krzysztof Bar, Aleks Kissinger, Jamie Vicary
2016 J jnl
Globular: an online proof assistant for higher-dimensional rewriting.
CoRR
Krzysztof Bar, Aleks Kissinger, Jamie Vicary
2016 J jnl
Quantum Latin squares and unitary error bases.
Quantum Inf. Comput.
Benjamin Musto, Jamie Vicary
2016 — conf
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract).
LINEARITY
Lawrence Dunn, Jamie Vicary
2016 J jnl
Surface proofs for linear logic.
CoRR
Lawrence Dunn, Jamie Vicary
2016 — conf
Tight Reference Frame-Independent Quantum Teleportation.
QPL
Dominic Verdon, Jamie Vicary
2015 — ed.
Proceedings 12th International Workshop on Quantum Physics and Logic, QPL 2015, Oxford, UK, July 15-17, 2015.
QPL
Chris Heunen, Peter Selinger, Jamie Vicary
2014 — conf
A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem.
QPL
Krzysztof Bar, Jamie Vicary
2014 — conf
Abstract structure of unitary oracles for quantum algorithms.
QPL
W. J. Zeng, Jamie Vicary
2014 J jnl
Groupoid Semantics for Thermal Computing.
CoRR
Krzysztof Bar, Jamie Vicary
2014 — conf
Mixed quantum states in higher categories.
QPL
Chris Heunen, Jamie Vicary, Linde Wester
2013 J jnl
A new description of orthogonal bases.
Math. Struct. Comput. Sci.
Bob Coecke, Dusko Pavlovic, Jamie Vicary
2013 J jnl
Bicategorical Semantics for Nondeterministic Computation
CoRR
Mike Stay, Jamie Vicary
2013 B conf
Bicategorical Semantics for Nondeterministic Computation.
MFPS
Mike Stay, Jamie Vicary
2013 A* conf
Topological Structure of Quantum Algorithms.
LICS
Jamie Vicary
2012 A* conf
Higher Semantics of Quantum Protocols.
LICS
Jamie Vicary
2009 — conf
Categorical Properties of The Complex Numbers.
QPL@MFPS
Jamie Vicary
2008 — conf
Categorical Formulation of Finite-dimensional C*-algebras.
QPL/DCM@ICALP
Jamie Vicary