Publications
- F. Bonchi, A. Di Giorgio, D. Trotta - When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines. MFCS 2024 📄
- F. Bonchi, A. Di Giorgio, N. Haydon and P. Sobocinski - Diagrammatic Algebra of First Order Logic. LICS 2024 📄
- F. Bonchi, A. Di Giorgio and A. Santamaria - Deconstructing the Calculus of Relations with Tape Diagrams. POPL 2023 📄
- F. Bonchi, A. Di Giorgio and P. Sobocinski - Diagrammatic Polyhedral Algebra. FSTTCS 2021 📄
- F. Bonchi, A. Di Giorgio and F. Zanasi - From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra. CALCO 2021 📄
- A. Di Giorgio and M. Danelutto - Backus FP revisited: A parallel perspective on modern multicores. ParCo 2019 📄
See also my Google Scholar profile