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 |