VLDB 2026 Research / reviewers in the wild / expert
Callum Reader
dblp:424/5746
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2026
—ORCID · unresolved
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | String Diagrams for Closed Symmetric Monoidal CategoriesabstractWe introduce a graphical language for closed symmetric monoidal categories based on an extension of string diagrams with special bracket wires representing internal homs. These bracket wires make the structure of the internal hom functor explicit, allowing standard morphism wires to interact with them through a well-defined set of graphical rules. We establish the soundness and completeness of the diagrammatic calculus, and illustrate its expressiveness through examples drawn from category theory, logic and programming language semantics. Callum Reader, Alessandro Di Giorgio 0002 |
CSL | 1 |
| 2026 | Hypergraphs for Compact Closed Categories
Alessandro Di Giorgio 0002, Callum Reader |
MFCS | 2 |