Alessandro Di Giorgio

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

First Order Logic

Relation Algebra

Algebraic Operations

Top Venues

Proc. ACM Program. Lang.

Publications

Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
Diagrammatic Algebra of First Order Logic. CoRR (2024)
Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines. MFCS (2024)
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
Diagrammatic Algebra of First Order Logic. LICS (2024)
Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines. CoRR (2024)
Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria
Deconstructing the Calculus of Relations with Tape Diagrams. Proc. ACM Program. Lang. 7 (POPL) (2023)
Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria
Deconstructing the Calculus of Relations with Tape Diagrams. CoRR (2022)
Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). CALCO (2021)
Guillaume Boisseau, Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
Diagrammatic Polyhedral Algebra. CoRR (2021)
Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
Diagrammatic Polyhedral Algebra. FSTTCS (2021)
Alessandro Di Giorgio, Marco Danelutto
Backus FP Revisited: A Parallel Perspective on Modern Multicores. PARCO (2019)