No. |
Title |
Author |
Year |
---|

1 |
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls) |
Bonchi, Filippo et al. |
2021 |

2 |
Functorial Semantics as a Unifying Perspective on Logic Programming |
Gu, Tao et al. |
2021 |

3 |
A Coalgebraic Perspective on Probabilistic Logic Programming |
Gu, Tao et al. |
2019 |

4 |
Bialgebraic Semantics for String Diagrams |
Bonchi, Filippo et al. |
2019 |

5 |
CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper) |
Sobocinski, Pawel et al. |
2019 |

6 |
Kleene Algebra with Observations |
KappĂ©, Tobias et al. |
2019 |

7 |
A Formal Semantics of Influence in Bayesian Reasoning |
Jacobs, Bart et al. |
2017 |

8 |
A Universal Construction for (Co)Relations |
Fong, Brendan et al. |
2017 |

9 |
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages |
KappĂ©, Tobias et al. |
2017 |