Open system categorical quantum semantics in natural language processing R Piedeleu, D Kartsaklis, B Coecke, M Sadrzadeh arXiv preprint arXiv:1502.00831, 2015 | 94 | 2015 |
Diagrammatic algebra: from linear to concurrent systems F Bonchi, J Holland, R Piedeleu, P Sobociński, F Zanasi Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019 | 64 | 2019 |
Graphical affine algebra F Bonchi, R Piedeleu, P Sobociński, F Zanasi 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019 | 63 | 2019 |
Interacting conceptual spaces i: Grammatical composition of concepts J Bolt, B Coecke, F Genovese, M Lewis, D Marsden, R Piedeleu Conceptual Spaces: Elaborations and Applications, 151-181, 2019 | 53 | 2019 |
Interacting conceptual spaces I: Grammatical composition of concepts J Bolt, B Coecke, F Genovese, M Lewis, D Marsden, R Piedeleu Conceptual Spaces: Elaborations and Applications, 151-181, 2019 | 53 | 2019 |
Ambiguity in categorical models of meaning R Piedeleu University of Oxford, 2014 | 25 | 2014 |
Interacting conceptual spaces J Bolt, B Coecke, F Genovese, M Lewis, D Marsden, R Piedeleu arXiv preprint arXiv:1608.01402, 2016 | 22 | 2016 |
A String Diagrammatic Axiomatisation of Finite-State Automata. R Piedeleu, F Zanasi FoSSaCS, 469-489, 2021 | 13 | 2021 |
Graphical Piecewise-Linear Algebra G Boisseau, R Piedeleu International Conference on Foundations of Software Science and Computation …, 2022 | 11 | 2022 |
An Introduction to String Diagrams for Computer Scientists R Piedeleu, F Zanasi arXiv preprint arXiv:2305.08768, 2023 | 10 | 2023 |
Picturing resources in concurrency R Piedeleu Ph. D. dissertation, University of Oxford, 2018 | 8 | 2018 |
String Diagram Rewriting Modulo Commutative (Co) monoid Structure A Milosavljevic, R Piedeleu, F Zanasi arXiv preprint arXiv:2204.04274, 2022 | 7 | 2022 |
Uniqueness of composition in quantum theory and linguistics B Coecke, F Genovese, S Gogioso, D Marsden, R Piedeleu arXiv preprint arXiv:1803.00708, 2018 | 5 | 2018 |
Contextual Equivalence for Signal Flow Graphs F Bonchi, R Piedeleu, P Sobocinski, F Zanasi FoSSaCS 12077, 77-96, 2020 | 4 | 2020 |
A complete diagrammatic calculus for boolean satisfiability T Gu, R Piedeleu, F Zanasi Electronic Notes in Theoretical Informatics and Computer Science 1, 2023 | 3 | 2023 |
A Finite Axiomatisation of Finite-State Automata Using String Diagrams R Piedeleu, F Zanasi Logical Methods in Computer Science 19, 2023 | 3 | 2023 |
Bialgebraic Semantics for String Diagrams F Bonchi, R Piedeleu, P Sobocinski, F Zanasi arXiv preprint arXiv:1906.01519, 2019 | 3 | 2019 |
Graphical quadratic algebra D Stein, F Zanasi, R Samuelson, R Piedeleu arXiv preprint arXiv:2403.02284, 2024 | 2 | 2024 |
Bialgebraic foundations for the operational semantics of string diagrams F Bonchi, R Piedeleu, P Sobociński, F Zanasi Information and Computation 281, 104767, 2021 | 2 | 2021 |
A Finite Axiomatisation of Finite-State Automata Using String Diagrams F Zanasi, R Piedeleu Logical Methods in Computer Science 19, 2023 | | 2023 |