Follow
Robin Piedeleu
Robin Piedeleu
Postdoctoral researcher at University College London
Verified email at ucl.ac.uk
Title
Cited by
Cited by
Year
Open system categorical quantum semantics in natural language processing
R Piedeleu, D Kartsaklis, B Coecke, M Sadrzadeh
arXiv preprint arXiv:1502.00831, 2015
932015
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
662019
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
662019
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
542019
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
542019
Ambiguity in categorical models of meaning
R Piedeleu
University of Oxford, 2014
262014
Interacting conceptual spaces
J Bolt, B Coecke, F Genovese, M Lewis, D Marsden, R Piedeleu
arXiv preprint arXiv:1608.01402, 2016
232016
An Introduction to String Diagrams for Computer Scientists
R Piedeleu, F Zanasi
arXiv preprint arXiv:2305.08768, 2023
142023
A String Diagrammatic Axiomatisation of Finite-State Automata.
R Piedeleu, F Zanasi
FoSSaCS, 469-489, 2021
132021
Graphical Piecewise-Linear Algebra
G Boisseau, R Piedeleu
International Conference on Foundations of Software Science and Computation …, 2022
112022
Picturing resources in concurrency
R Piedeleu
Ph. D. dissertation, University of Oxford, 2018
92018
String Diagram Rewriting Modulo Commutative (Co) monoid Structure
A Milosavljevic, R Piedeleu, F Zanasi
arXiv preprint arXiv:2204.04274, 2022
72022
Uniqueness of composition in quantum theory and linguistics
B Coecke, F Genovese, S Gogioso, D Marsden, R Piedeleu
arXiv preprint arXiv:1803.00708, 2018
52018
Contextual Equivalence for Signal Flow Graphs.
F Bonchi, R Piedeleu, P Sobocinski, F Zanasi
FoSSaCS, 77-96, 2020
42020
A complete diagrammatic calculus for boolean satisfiability
T Gu, R Piedeleu, F Zanasi
Electronic Notes in Theoretical Informatics and Computer Science 1, 2023
32023
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
R Piedeleu, F Zanasi
Logical Methods in Computer Science 19, 2023
32023
Bialgebraic Semantics for String Diagrams
F Bonchi, R Piedeleu, P Sobocinski, F Zanasi
arXiv preprint arXiv:1906.01519, 2019
32019
Graphical quadratic algebra
D Stein, F Zanasi, R Samuelson, R Piedeleu
arXiv preprint arXiv:2403.02284, 2024
22024
Bialgebraic foundations for the operational semantics of string diagrams
F Bonchi, R Piedeleu, P Sobociński, F Zanasi
Information and Computation 281, 104767, 2021
22021
On Iteration in Discrete Probabilistic Programming
M Torres-Ruiz, R Piedeleu, A Silva, F Zanasi
9th International Conference on Formal Structures for Computation and …, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20