Follow
Alessandro Di Giorgio
Alessandro Di Giorgio
Postdoctoral researcher at University College London
Verified email at ucl.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
102024
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
62023
Diagrammatic Polyhedral Algebra
F Bonchi, A Di Giorgio, P Sobocinski
41st IARCS Annual Conference on Foundations of Software Technology and …, 2021
62021
Tape diagrams for rig categories with finite biproducts
F Bonchi, A Di Giorgio, A Santamaria
University of Pisa, 2022
32022
When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
F Bonchi, A Di Giorgio, D Trotta
49th International Symposium on Mathematical Foundations of Computer Science …, 2024
12024
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
12021
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
The system can't perform the operation now. Try again later.
Articles 1–9