VLDB 2026 Research / reviewers in the wild / expert
Haruka Tomita
dblp:282/7335
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Planar Realizability via Left and Right Applications
Haruka Tomita |
CSL | 1 |
| 2021 | Realizability Without SymmetryabstractIn categorical realizability, it is common to construct categories of assemblies and modest sets from applicative structures. In this paper, we introduce several classes of applicative structures and apply the categorical realizability construction to them. Then we obtain closed multicategories, closed categories and skew closed categories, which are more general categorical structures than Cartesian closed categories and symmetric monoidal closed categories. Moreover, we give the necessary and sufficient conditions for obtaining closed multicategories and closed categories of assemblies. Haruka Tomita |
CSL | 1 |