Harley Eades III

Identifiers

• name variant Harley Eades III 0.60 · backfill

Papers (5)

1. A unification of graded and substructural logics cs.LO · 2026 · author #2
2. An Intuitionistic Linear Logical Semantics of SAND Attack Trees cs.LO · 2018 · author #1
3. Dialectica Categories for the Lambek Calculus cs.LO · 2018 · author #2
4. A Cointuitionistic Adjoint Logic cs.LO · 2017 · author #1
5. Dualized Simple Type Theory cs.LO · 2016 · author #1

Mentions

• 2605.17112 #2 · arxiv_oai · confidence 0.70 Harley Eades III

Frequent Coauthors

• Aaron Stump 1 shared papers
• Gianluigi Bellin 1 shared papers
• Peter Hanukaev 1 shared papers
• Ryan McCleeary 1 shared papers
• Valeria de Paiva 1 shared papers