Harley Eades III
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2016–2025
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CSL | A Mixed Linear and Graded Logic: Proofs, Terms, and Models. | Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard |
| 2023 | ICFP | Combining Dependency, Grades, and Adjoint Logic. | Peter Hanukaev, Harley Eades III |
| 2022 | ESOP | A Dependent Dependency Calculus. | Pritam Choudhury, Harley Eades III, Stephanie Weirich |
| 2021 | ESOP | Graded Modal Dependent Type Theory. | Benjamin Moon, Harley Eades III, Dominic Orchard |
| 2018 | LFCS | Dialectica Categories for the Lambek Calculus. | Valeria de Paiva, Harley Eades III |
| 2016 | LFCS | Multiple Conclusion Linear Logic: Cut Elimination and More. | Harley Eades III, Valeria de Paiva |