Matt Earnshaw › selected talks

Reference. Context-free languages of string diagrams

Reference. Monoidal optics are universal

Reference. From monoidal automata to string diagrams for effects

Reference. Context-free languages of string diagrams

Reference. Presentations of premonoidal categories by devices

Reference. Monoidal languages

Reference. String diagrammatic trace theory

Reference. Enrichment in bicategories

Reference. Natural structure and the dialectic of concept formation

Reference. Regular monoidal languages