
String Diagram Rewrite Theory III: Confluence with and without Frobenius
In this paper we address the problem of proving confluence for string di...
read it

Functorial String Diagrams for ReverseMode Automatic Differentiation
We enhance the calculus of string diagrams for monoidal categories with ...
read it

The Cost of Compositionality: A HighPerformance Implementation of String Diagram Composition
String diagrams are an increasingly popular algebraic language for the a...
read it

String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
Symmetric monoidal theories (SMTs) generalise algebraic theories in a wa...
read it

Categorical Foundations of GradientBased Learning
We propose a categorical foundation of gradientbased machine learning a...
read it

Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits
We introduce Reverse Derivative Ascent: a categorical analogue of gradie...
read it

Coalgebraic Semantics for Probabilistic Logic Programming
Probabilistic logic programming is increasingly important in artificial ...
read it

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
String diagrams are a powerful and intuitive graphical syntax, originate...
read it

A String Diagrammatic Axiomatisation of FiniteState Automata
We develop a fully diagrammatic approach to the theory of finitestate a...
read it

Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness
Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a para...
read it

Contextual Equivalence for Signal Flow Graphs
We extend the signal flow calculus—a compositional account of the classi...
read it

Bialgebraic Semantics for String Diagrams
Turi and Plotkin's bialgebraic semantics is an abstract approach to spec...
read it

Causal Inference by String Diagram Surgery
Extracting causal relationships from observed correlations is a growing ...
read it

Kleene Algebra with Observations
Kleene algebra with tests (KAT) is an algebraic framework for reasoning ...
read it

Model Theory of Monadic Predicate Logic with the Infinity Quantifier
This paper establishes modeltheoretic properties of FOE^∞, a variation ...
read it

The Power of the Weak
A landmark result in the study of logics for formal verification is Jani...
read it

Interacting Hopf Algebras: the theory of linear systems
As first main contribution, this thesis characterises the PROP SVk of li...
read it

The Logical Essentials of Bayesian Reasoning
This chapter offers an accessible introduction to the channelbased appr...
read it

Rewriting in Free Hypergraph Categories
We study rewriting for equational theories in the context of symmetric m...
read it

Rewriting in Free Hypegraph Categories
We study rewriting for equational theories in the context of symmetric m...
read it

Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Calculi of string diagrams are increasingly used to present the syntax a...
read it
Fabio Zanasi
is this you? claim profile