| No. |
Title |
Author |
Year |
| 1 |
Functorial String Diagrams for Reverse-Mode Automatic Differentiation |
Alvarez-Picallo, Mario et al. |
2023 |
| 2 |
String Diagram Rewriting Modulo Commutative (Co)Monoid Structure |
Milosavljević, Aleksandar et al. |
2023 |
| 3 |
String Diagrams for Non-Strict Monoidal Categories |
Wilson, Paul et al. |
2023 |
| 4 |
Rewriting for Monoidal Closed Categories |
Alvarez-Picallo, Mario et al. |
2022 |
| 5 |
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls) |
Bonchi, Filippo et al. |
2021 |
| 6 |
Functorial Semantics as a Unifying Perspective on Logic Programming |
Gu, Tao et al. |
2021 |
| 7 |
A Coalgebraic Perspective on Probabilistic Logic Programming |
Gu, Tao et al. |
2019 |
| 8 |
Bialgebraic Semantics for String Diagrams |
Bonchi, Filippo et al. |
2019 |
| 9 |
CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper) |
Sobocinski, Pawel et al. |
2019 |
| 10 |
Kleene Algebra with Observations |
Kappé, Tobias et al. |
2019 |
| 11 |
A Formal Semantics of Influence in Bayesian Reasoning |
Jacobs, Bart et al. |
2017 |
| 12 |
A Universal Construction for (Co)Relations |
Fong, Brendan et al. |
2017 |
| 13 |
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages |
Kappé, Tobias et al. |
2017 |
