VLDB 2026 Research / reviewers in the wild / expert
William R. Stirton
dblp:117/2552
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2026
0000-0001-5619-5490ORCID · corroborated
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 |
|---|---|---|---|
| 2026 | Proof-theoretic investigation of λβ-reduction in the simply typed λ-calculus
William R. Stirton |
Ann. Pure Appl. Log. | 1 |
| 2022 | Barendregt's Problem #26 and Combinatory Strong Reduction
William R. Stirton |
CiE | 1 |