research
∙
05/15/2023
An Introduction to String Diagrams for Computer Scientists
This document is an elementary introduction to string diagrams. It takes...
share
research
∙
11/29/2022
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
We develop a fully diagrammatic approach to finite-state automata, based...
research
∙
11/22/2022
A Complete Diagrammatic Calculus for Boolean Satisfiability
We propose a calculus of string diagrams to reason about satisfiability ...
research
∙
11/06/2021
Graphical Piecewise-Linear Algebra
Graphical (Linear) Algebra is a family of diagrammatic languages allowin...
research
∙
09/30/2020
A String Diagrammatic Axiomatisation of Finite-State Automata
We develop a fully diagrammatic approach to the theory of finite-state a...
research
∙
02/20/2020
Contextual Equivalence for Signal Flow Graphs
We extend the signal flow calculus—a compositional account of the classi...
research
∙
06/04/2019
Bialgebraic Semantics for String Diagrams
Turi and Plotkin's bialgebraic semantics is an abstract approach to spec...
research
∙
03/24/2017
Interacting Conceptual Spaces I : Grammatical Composition of Concepts
The categorical compositional approach to meaning has been successfully ...
research
∙
08/04/2016
Interacting Conceptual Spaces
We propose applying the categorical compositional scheme of [6] to conce...
research
∙
02/03/2015