Two complete axiomatisations of pure-state qubit quantum computing A Hadzihasanovic, KF Ng, Q Wang
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
99 2018 A diagrammatic axiomatisation for qubit entanglement A Hadzihasanovic
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 573-584, 2015
89 2015 The algebra of entanglement and the geometry of composition A Hadzihasanovic
arXiv preprint arXiv:1709.08086, 2017
79 2017 A combinatorial-topological shape category for polygraphs A Hadzihasanovic
Applied Categorical Structures 28 (3), 419-476, 2020
23 2020 A diagrammatic calculus of fermionic quantum circuits KF Ng, A Hadzihasanovic, G de Felice
Logical Methods in Computer Science 15, 2019
13 2019 Diagrammatic sets and rewriting in weak higher categories A Hadzihasanovic
arXiv preprint arXiv:2007.14505, 2020
9 2020 Nonstandard functional interpretations and categorical models A Hadzihasanovic, B van den Berg
Notre Dame Journal of Formal Logic 58 (3), 343-380, 2017
9 * 2017 Weak units, universal cells, and coherence via universality for bicategories A Hadzihasanovic
Theory and Applications of Categories 34 (29), 883-960, 2019
6 * 2019 Data structures for topologically sound higher-dimensional diagram rewriting A Hadzihasanovic, D Kessler
arXiv preprint arXiv:2209.09509, 2022
5 2022 Representable diagrammatic sets as a model of weak higher categories A Hadzihasanovic
arXiv preprint arXiv:1909.07639, 2019
4 2019 A diagrammatic axiomatisation of fermionic quantum circuits A Hadzihasanovic, G de Felice, KF Ng
3rd International Conference on Formal Structures for Computation and …, 2018
4 2018 The smash product of monoidal theories A Hadzihasanovic
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
3 2021 Zw calculi: diagrammatic languages for pure-state quantum computing A Hadzihasanovic
Logic and Applications LAP 2018, 13, 2018
3 2018 Obstructions to Compositionality C Puca, A Hadzihasanovic, F Genovese, B Coecke
arXiv preprint arXiv:2307.14461, 2023
2 2023 A topological perspective on interacting algebraic theories A Hadzihasanovic
arXiv preprint arXiv:1701.00658, 2017
2 2017 Higher-dimensional subdiagram matching A Hadzihasanovic, D Kessler
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023
1 2023 A model for the coherent walking -equivalence A Hadzihasanovic, F Loubaton, V Ozornova, M Rovelli
arXiv preprint arXiv:2404.14509, 2024
2024 Combinatorics of higher-categorical diagrams A Hadzihasanovic
arXiv preprint arXiv:2404.07273, 2024
2024