research
∙
05/30/2023
Hierarchical string diagrams and applications
This is a tutorial text giving an advanced introduction to the diagramma...
share
research
∙
05/15/2023
An Introduction to String Diagrams for Computer Scientists
This document is an elementary introduction to string diagrams. It takes...
research
∙
05/01/2023
Data-Parallel Algorithms for String Diagrams
We give parallel algorithms for string diagrams represented as structure...
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
∙
07/08/2022
String Diagrams for Layered Explanations
We propose a categorical framework to reason about scientific explanatio...
research
∙
04/08/2022
String Diagram Rewriting Modulo Commutative Monoid Structure
We characterise freely generated props with a chosen commutative monoid ...
research
∙
03/12/2022
Categories of Differentiable Polynomial Circuits for Machine Learning
Reverse derivative categories (RDCs) have recently been shown to be a su...
research
∙
09/13/2021
String Diagram Rewrite Theory III: Confluence with and without Frobenius
In this paper we address the problem of proving confluence for string di...
research
∙
07/28/2021
Functorial String Diagrams for Reverse-Mode Automatic Differentiation
We enhance the calculus of string diagrams for monoidal categories with ...
research
∙
05/19/2021
The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition
String diagrams are an increasingly popular algebraic language for the a...
research
∙
04/29/2021
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
Symmetric monoidal theories (SMTs) generalise algebraic theories in a wa...
research
∙
03/02/2021
Categorical Foundations of Gradient-Based Learning
We propose a categorical foundation of gradient-based machine learning a...
research
∙
01/26/2021
Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits
We introduce Reverse Derivative Ascent: a categorical analogue of gradie...
research
∙
12/07/2020
Coalgebraic Semantics for Probabilistic Logic Programming
Probabilistic logic programming is increasingly important in artificial ...
research
∙
12/03/2020
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
String diagrams are a powerful and intuitive graphical syntax, originate...
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/22/2020
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness
Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a para...
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
∙
11/20/2018
Causal Inference by String Diagram Surgery
Extracting causal relationships from observed correlations is a growing ...
research
∙
11/16/2018
Kleene Algebra with Observations
Kleene algebra with tests (KAT) is an algebraic framework for reasoning ...
research
∙
09/10/2018
Model Theory of Monadic Predicate Logic with the Infinity Quantifier
This paper establishes model-theoretic properties of FOE^∞, a variation ...
research
∙
09/10/2018
The Power of the Weak
A landmark result in the study of logics for formal verification is Jani...
research
∙
05/04/2018
Interacting Hopf Algebras: the theory of linear systems
As first main contribution, this thesis characterises the PROP SVk of li...
research
∙
04/03/2018
The Logical Essentials of Bayesian Reasoning
This chapter offers an accessible introduction to the channel-based appr...
research
∙
12/27/2017
Rewriting in Free Hypergraph Categories
We study rewriting for equational theories in the context of symmetric m...
research
∙
12/27/2017
Rewriting in Free Hypegraph Categories
We study rewriting for equational theories in the context of symmetric m...
research
∙
10/11/2017