Filippo Bonchi
École Normale Supérieure de Lyon
H-index: 30
Europe-France
Top articles of Filippo Bonchi
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines | arXiv preprint arXiv:2404.18795 | Filippo Bonchi Alessandro Di Giorgio Davide Trotta | 2024/4/29 |
Diagrammatic Algebra of First Order Logic | arXiv preprint arXiv:2401.07055 | Filippo Bonchi Alessandro Di Giorgio Nathan Haydon Pawel Sobocinski | 2024/1/13 |
Effectful Trace Semantics via Effectful Streams | Filippo Bonchi Elena Di Lavore Mario Román | 2024 | |
Deconstructing the calculus of relations with tape diagrams | Proceedings of the ACM on Programming Languages | Filippo Bonchi Alessandro Di Giorgio Alessio Santamaria | 2023/1/9 |
Exploiting Adjoints in Property Directed Reachability Analysis | Mayuko Kori Flavio Ascari Filippo Bonchi Roberto Bruni Roberta Gori | 2023/7/17 | |
Up-to techniques for behavioural metrics via fibrations | Mathematical Structures in Computer Science | Filippo Bonchi Barbara König Daniela Petrişan | 2023/4 |
String diagram rewrite theory I: rewriting with frobenius structure | Journal of the ACM (JACM) | Filippo Bonchi Fabio Gadducci Aleks Kissinger Pawel Sobocinski Fabio Zanasi | 2022/3/10 |
Tape diagrams for rig categories with finite biproducts | Filippo Bonchi Alessandro Di Giorgio Alessio Santamaria | 2022 | |
Convexity via Weak Distributive Laws | Logical Methods in Computer Science | Filippo Bonchi Alessio Santamaria | 2022/11/23 |
String diagram rewrite theory III: Confluence with and without Frobenius | Mathematical Structures in Computer Science | Filippo Bonchi Fabio Gadducci Aleks Kissinger Paweł Sobociński Fabio Zanasi | 2022/8 |
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination | Logical Methods in Computer Science | Filippo Bonchi Ana Sokolova Valeria Vignudelli | 2022/6/17 |
String diagram rewrite theory II: Rewriting with symmetric monoidal structure | Mathematical Structures in Computer Science | Filippo Bonchi Fabio Gadducci Aleks Kissinger Pawel Sobocinski Fabio Zanasi | 2022/4 |
A survey of compositional signal flow theory | Advancing Research in Information and Communication Technology: IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups | Filippo Bonchi Paweł Sobociński Fabio Zanasi | 2021 |
On doctrines and cartesian bicategories | arXiv preprint arXiv:2106.08142 | Filippo Bonchi Alessio Santamaria Jens Seeber Paweł Sobociński | 2021/6/15 |
Diagrammatic polyhedral algebra | arXiv preprint arXiv:2105.10946 | Filippo Bonchi Alessandro Di Giorgio Pawel Sobocinski | 2021/5/23 |
Combining Semilattices and Semimodules. | Filippo Bonchi Alessio Santamaria | 2021/3/23 | |
Bialgebraic foundations for the operational semantics of string diagrams | Information and Computation | Filippo Bonchi Robin Piedeleu Paweł Sobociński Fabio Zanasi | 2021/12/1 |
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co) algebraic pearls) | Filippo Bonchi Alessandro Di Giorgio Fabio Zanasi | 2021 | |
46th International Symposium on Mathematical Foundations of Computer Science | Filippo Bonchi Simon J Puglisi | 2021/8 | |
LIPIcs, Volume 202, MFCS 2021, Complete Volume | Filippo Bonchi Simon J Puglisi | 2021 |