Jamie Vicary

Orcid: 0000-0002-0998-1701

According to our database1, Jamie Vicary authored at least 36 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Syntax for Strictly Associative and Unital ∞-Categories.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023
A Categorical Model for Classical and Quantum Block Designs.
Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

Posetal Diagrams for Logically-Structured Semistrict Higher Categories.
Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

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

2022
Normalization for planar string diagrams and a quadratic equivalence algorithm.
Log. Methods Comput. Sci., 2022

Zigzag normalisation for associative n-categories.
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.
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.
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

A Type Theory for Strictly Associative Infinity Categories.
CoRR, 2021

The Word Problem for Braided Monoidal Categories is Unknot-Hard.
Proceedings of the Fourth International Conference on Applied Category Theory, 2021

2020
Online worldwide seminar on logic and semantics https: //www.cs.bham.ac.uk/~vicaryjo/owls.
ACM SIGLOG News, 2020

A Type Theory for Strictly Unital ∞-Categories.
CoRR, 2020

2019
A classical groupoid model for quantum networks.
Log. Methods Comput. Sci., 2019

Coherence for Frobenius pseudomonoids and the geometry of linear proofs.
Log. Methods Comput. Sci., 2019

High-level methods for homotopy construction in associative n-categories.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018
Globular: an online proof assistant for higher-dimensional rewriting.
Log. Methods Comput. Sci., 2018

Normal forms for planar connected string diagrams.
CoRR, 2018

Orthogonality for Quantum Latin Isometry Squares.
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).
Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Data structures for quasistrict higher categories.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

A 2-Categorical Approach to Composing Quantum Structures.
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016
Quantum Latin squares and unitary error bases.
Quantum Inf. Comput., 2016

Tight Reference Frame-Independent Quantum Teleportation.
Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract).
Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016

Surface proofs for linear logic.
CoRR, 2016

2014
Abstract structure of unitary oracles for quantum algorithms.
Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

Mixed quantum states in higher categories.
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.
Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

Groupoid Semantics for Thermal Computing.
CoRR, 2014

2013
A new description of orthogonal bases.
Math. Struct. Comput. Sci., 2013

Bicategorical Semantics for Nondeterministic Computation.
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Topological Structure of Quantum Algorithms.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012
Higher Semantics of Quantum Protocols.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2009
Categorical Properties of The Complex Numbers.
Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

2008
Categorical Formulation of Finite-dimensional C*-algebras.
Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008


  Loading...