Harley Eades III

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 22

Top Topics

Cut Elimination

Automated Deduction

Top Venues

Proc. ACM Program. Lang.

Publications

Victoria Vollmer, Daniel Marshall, Harley Eades III, Dominic Orchard
A Mixed Linear and Graded Logic: Proofs, Terms, and Models. CoRR (2024)
Peter Hanukaev, Harley Eades III
Combining Dependency, Grades, and Adjoint Logic. TyDe@ICFP (2023)
Peter Hanukaev, Harley Eades III
Combining dependency, grades, and adjoint logic. CoRR (2023)
Pritam Choudhury, Harley Eades III, Stephanie Weirich
A Dependent Dependency Calculus. ESOP (2022)
Pritam Choudhury, Harley Eades III, Stephanie Weirich
A Dependent Dependency Calculus (Extended Version). CoRR (2022)
Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie Weirich
A graded dependent type system with a usage-aware semantics. Proc. ACM Program. Lang. 5 (POPL) (2021)
Benjamin Moon, Harley Eades III, Dominic Orchard
Graded Modal Dependent Type Theory. ESOP (2021)
Harley Eades III, Dominic Orchard
Grading Adjoint Logic. CoRR (2020)
Harley Eades III, Valeria de Paiva
Multiple conclusion linear logic: cut elimination and more. J. Log. Comput. 30 (1) (2020)
Dominic Orchard, Philip Wadler, Harley Eades III
Unifying graded and parameterised monads. MSFP@ETAPS (2020)
Benjamin Moon, Harley Eades III, Dominic Orchard
Graded Modal Dependent Type Theory. CoRR (2020)
Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie C. Weirich
A graded dependent type system with a usage-aware semantics (extended version). CoRR (2020)
Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III
Quantitative program reasoning with graded modal types. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Harley Eades III
An Intuitionistic Linear Logical Semantics of SAND Attack Trees. CoRR (2018)
Valeria de Paiva, Harley Eades III
Dialectica Categories for the Lambek Calculus. CoRR (2018)
Harley Eades III, Jiaming Jiang, Aubrey Bryant
On Linear Logic, Functional Programming, and Attack Trees. GraMSec@FLoC (2018)
Jiaming Jiang, Harley Eades III, Valeria de Paiva
On the Lambek Calculus with an Exchange Modality. Linearity-TLLA@FLoC (2018)
Valeria de Paiva, Harley Eades III
Dialectica Categories for the Lambek Calculus. LFCS (2018)
Harley Eades III, Gianluigi Bellin
A Cointuitionistic Adjoint Logic. CoRR (2017)
Valeria de Paiva, Harley Eades III
Constructive Temporal Logic, Categorically. FLAP 4 (4) (2017)
Harley Eades III, Aaron Stump, Ryan McCleeary
Dualized Simple Type Theory. Log. Methods Comput. Sci. 12 (3) (2016)
Harley Eades III, Valeria de Paiva
Multiple Conclusion Linear Logic: Cut Elimination and More. LFCS (2016)
Harley Eades III, Aaron Stump
Hereditary Substitution for the λΔ-Calculus. COS (2013)
Aaron Stump, Andrew Reynolds, Cesare Tinelli, Austin Laugesen, Harley Eades III, Corey Oliver, Ruoyu Zhang
LFSC for SMT Proofs: Work in Progress. PxTP (2012)