| Diagrammatic Algebra of First Order Logic F Bonchi, A Di Giorgio, N Haydon, P Sobocinski LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in …, 2024 | 8 | 2024 |
| Deconstructing the Calculus of Relations with Tape Diagrams F Bonchi, A Di Giorgio, A Santamaria Proceedings of the ACM on Programming Languages 7 (POPL), 1864-1894, 2023 | 6 | 2023 |
| Diagrammatic polyhedral algebra F Bonchi, A Di Giorgio, P Sobocinski arXiv preprint arXiv:2105.10946, 2021 | 6 | 2021 |
| Tape diagrams for rig categories with finite biproducts F Bonchi, A Di Giorgio, A Santamaria University of Pisa, 2022 | 3 | 2022 |
| When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines F Bonchi, A Di Giorgio, D Trotta arXiv preprint arXiv:2404.18795, 2024 | 1 | 2024 |
| From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co) algebraic pearls) F Bonchi, A Di Giorgio, F Zanasi 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), 2021 | 1 | 2021 |
| A Diagrammatic Algebra for Program Logics F Bonchi, A Di Giorgio, E Di Lavore arXiv preprint arXiv:2410.03561, 2024 | | 2024 |
| Diagrammatic Algebras of Relations A Di Giorgio Università di Pisa, 2024 | | 2024 |
| Backus FP revisited: A parallel perspective on modern multicores A Di Giorgio, M Danelutto IOS Press BV 36, 465-474, 2020 | | 2020 |
Filippo BonchiCNRS ENS-Lyon在 ens-lyon.fr 的电子邮件经过验证
