| Publication | Date of Publication | Type |
|---|
Diagrammatic sets as a model of homotopy types
Homology, Homotopy and Applications | 2026-02-27 | Paper |
| Higher-dimensional subdiagram matching | 2026-02-27 | Paper |
Equivalences in diagrammatic sets
Journal of Pure and Applied Algebra | 2026-01-16 | Paper |
| Obstructions to compositionality | 2025-08-05 | Paper |
A model for the coherent walking -equivalence
Proceedings of the American Mathematical Society | 2025-06-04 | Paper |
Acyclicity conditions on pasting diagrams
Applied Categorical Structures | 2024-11-01 | Paper |
Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
| Obstructions to Compositionality | 2023-07-26 | Paper |
| Higher-dimensional subdiagram matching | 2023-04-18 | Paper |
| A topological perspective on interacting algebraic theories | 2021-12-08 | Paper |
A topological perspective on interacting algebraic theories
(available as arXiv preprint) | 2021-12-08 | Paper |
| A diagrammatic axiomatisation of fermionic quantum circuits | 2021-06-15 | Paper |
| The smash product of monoidal theories | 2021-01-25 | Paper |
Two complete axiomatisations of pure-state qubit quantum computing
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| Diagrammatic sets and rewriting in weak higher categories | 2020-07-28 | Paper |
A combinatorial-topological shape category for polygraphs
Applied Categorical Structures | 2020-05-26 | Paper |
| Weak units, universal cells, and coherence via universality for bicategories | 2019-10-23 | Paper |
Weak units, universal cells, and coherence via universality for bicategories
(available as arXiv preprint) | 2019-10-23 | Paper |
| Representable diagrammatic sets as a model of weak higher categories | 2019-09-17 | Paper |
A diagrammatic calculus of fermionic quantum circuits
(available as arXiv preprint) | 2019-09-13 | Paper |
A diagrammatic axiomatisation for qubit entanglement
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| The algebra of entanglement and the geometry of composition | 2017-09-23 | Paper |
Nonstandard functional interpretations and categorical models
Notre Dame Journal of Formal Logic | 2017-08-17 | Paper |
Nonstandard functional interpretations and categorical models
Notre Dame Journal of Formal Logic | 2017-08-17 | Paper |
Combinatorics of higher-categorical diagrams
(available as arXiv preprint) | N/A | Paper |
A model for the coherent walking $\omega$-equivalence
(available as arXiv preprint) | N/A | Paper |
