Robin Piedeleu

Orcid: 0000-0002-3945-2704

According to our database1, Robin Piedeleu authored at least 15 papers between 2015 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Finite Axiomatisation of Finite-State Automata Using String Diagrams.
Log. Methods Comput. Sci., 2023

An Introduction to String Diagrams for Computer Scientists.
CoRR, 2023

String Diagram Rewriting Modulo Commutative (Co)Monoid Structure.
Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022
A Complete Diagrammatic Calculus for Boolean Satisfiability.
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

Graphical Piecewise-Linear Algebra.
Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021
Bialgebraic foundations for the operational semantics of string diagrams.
Inf. Comput., 2021

A String Diagrammatic Axiomatisation of Finite-State Automata.
Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020
Contextual Equivalence for Signal Flow Graphs.
Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019
Diagrammatic algebra: from linear to concurrent systems.
Proc. ACM Program. Lang., 2019

Graphical Affine Algebra.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Bialgebraic Semantics for String Diagrams.
Proceedings of the 30th International Conference on Concurrency Theory, 2019

2017
Uniqueness of Composition in Quantum Theory and Linguistics.
Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Interacting Conceptual Spaces I : Grammatical Composition of Concepts.
CoRR, 2017

2016
Interacting Conceptual Spaces.
Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, 2016

2015
Open System Categorical Quantum Semantics in Natural Language Processing.
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015


  Loading...