Jamie Vicary

Alex Rice

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.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

A Categorical Model for Classical and Quantum Block Designs.

[BibT_eX]

[DOI]

Paulina L. A. Goedicke

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

Posetal Diagrams for Logically-Structured Semistrict Higher Categories.

[BibT_eX]

[DOI]

Chiara Sarti

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

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

[BibT_eX]

[DOI]

Alex Rice

CoRR, 2023

2022

Normalization for planar string diagrams and a quadratic equivalence algorithm.

[BibT_eX]

[DOI]

Antonin Delpeuch

Log. Methods Comput. Sci., 2022

Zigzag normalisation for associative n-categories.

[BibT_eX]

[DOI]

Lukas Heidemann

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nick Hu

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

A Type Theory for Strictly Associative Infinity Categories.

[BibT_eX]

[DOI]

Alex Rice

CoRR, 2021

The Word Problem for Braided Monoidal Categories is Unknot-Hard.

[BibT_eX]

[DOI]

Antonin Delpeuch

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.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2020

A Type Theory for Strictly Unital ∞-Categories.

[BibT_eX]

[DOI]

CoRR, 2020

2019

A classical groupoid model for quantum networks.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2019

Coherence for Frobenius pseudomonoids and the geometry of linear proofs.

[BibT_eX]

[DOI]

Lawrence Dunn

Log. Methods Comput. Sci., 2019

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

[BibT_eX]

[DOI]

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

2018

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

[BibT_eX]

[DOI]

Aleks Kissinger

Log. Methods Comput. Sci., 2018

Normal forms for planar connected string diagrams.

[BibT_eX]

[DOI]

Antonin Delpeuch

CoRR, 2018

Orthogonality for Quantum Latin Isometry Squares.

[BibT_eX]

[DOI]

Benjamin Musto

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).

[BibT_eX]

[DOI]

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

Data structures for quasistrict higher categories.

[BibT_eX]

[DOI]

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

A 2-Categorical Approach to Composing Quantum Structures.

[BibT_eX]

[DOI]

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

2016

Quantum Latin squares and unitary error bases.

[BibT_eX]

[DOI]

Benjamin Musto

Quantum Inf. Comput., 2016

Tight Reference Frame-Independent Quantum Teleportation.

[BibT_eX]

[DOI]

Dominic Verdon

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

Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract).

[BibT_eX]

[DOI]

Lawrence Dunn

Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016

Surface proofs for linear logic.

[BibT_eX]

[DOI]

Lawrence Dunn

CoRR, 2016

2014

Abstract structure of unitary oracles for quantum algorithms.

[BibT_eX]

[DOI]

W. J. Zeng

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

Mixed quantum states in higher categories.

[BibT_eX]

[DOI]

Chris Heunen

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.

[BibT_eX]

[DOI]

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

Groupoid Semantics for Thermal Computing.

[BibT_eX]

[DOI]

CoRR, 2014

2013

A new description of orthogonal bases.

[BibT_eX]

[DOI]

Bob Coecke

Dusko Pavlovic

Math. Struct. Comput. Sci., 2013

Bicategorical Semantics for Nondeterministic Computation.

[BibT_eX]

[DOI]

Mike Stay

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

Topological Structure of Quantum Algorithms.

[BibT_eX]

[DOI]

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

2012

Higher Semantics of Quantum Protocols.

[BibT_eX]

[DOI]

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

2009

Categorical Properties of The Complex Numbers.

[BibT_eX]

[DOI]

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

2008

Categorical Formulation of Finite-dimensional C*-algebras.

[BibT_eX]

[DOI]