Matthew Earnshaw

From MaRDI portal
Person:6403762



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
String diagrammatic trace theory2024-12-03Paper
Regular monoidal languages2024-08-06Paper
Regular planar monoidal languages
Journal of Logical and Algebraic Methods in Programming
2024-06-25Paper
String Diagrammatic Trace Theory2023-06-28Paper
The Produoidal Algebra of Process Decomposition2023-01-27Paper
Regular Monoidal Languages2022-07-01Paper
Context-Free Languages of String Diagrams
(available as arXiv preprint)
N/APaper


Research outcomes over time


This page was built for person: Matthew Earnshaw