フォロー
Robin Piedeleu
Robin Piedeleu
Postdoctoral researcher at University College London
確認したメール アドレス: ucl.ac.uk
タイトル
引用先
引用先
Open system categorical quantum semantics in natural language processing
R Piedeleu, D Kartsaklis, B Coecke, M Sadrzadeh
arXiv preprint arXiv:1502.00831, 2015
932015
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
602019
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
582019
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
532019
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
532019
Ambiguity in categorical models of meaning
R Piedeleu
University of Oxford, 2014
252014
Interacting conceptual spaces
J Bolt, B Coecke, F Genovese, M Lewis, D Marsden, R Piedeleu
arXiv preprint arXiv:1608.01402, 2016
222016
A String Diagrammatic Axiomatisation of Finite-State Automata.
R Piedeleu, F Zanasi
FoSSaCS, 469-489, 2021
122021
An Introduction to String Diagrams for Computer Scientists
R Piedeleu, F Zanasi
arXiv preprint arXiv:2305.08768, 2023
92023
Graphical Piecewise-Linear Algebra
G Boisseau, R Piedeleu
International Conference on Foundations of Software Science and Computation …, 2022
82022
Picturing resources in concurrency
R Piedeleu
Ph. D. dissertation, University of Oxford, 2018
82018
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
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
Contextual Equivalence for Signal Flow Graphs
F Bonchi, R Piedeleu, P Sobocinski, F Zanasi
FoSSaCS 12077, 77-96, 2020
32020
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
12021
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
F Zanasi, R Piedeleu
Logical Methods in Computer Science 19, 2023
2023
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20