• 28 Citations
  • 3 h-Index
20122020

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Harley D Eades is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 28 Citations
  • 3 h-Index
  • 4 Conference contribution
  • 4 Conference article
  • 3 Article

Multiple conclusion linear logic: cut elimination and more

Eades, H. & De Paiva, V., Jan 23 2020, In : Journal of Logic and Computation. 30, 1, p. 157-174 18 p.

Research output: Contribution to journalArticle

  • Unifying graded and parameterised monads

    Orchard, D., Wadler, P. & Eades, H., May 1 2020, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 317, p. 18-38 21 p.

    Research output: Contribution to journalConference article

    Open Access
  • On linear logic, functional programming, and attack trees

    Eades, H., Jiang, J. & Bryant, A., Jan 1 2019, Graphical Models for Security - 5th International Workshop, GraMSec 2018, Revised Selected Papers. Pym, D., Cybenko, G. & Fila, B. (eds.). Springer Verlag, p. 71-89 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11086 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On the Lambek calculus with an exchange modality

    Jiang, J., Eades, H. D. & de Paiva, V., Apr 15 2019, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 292, p. 43-89 47 p.

    Research output: Contribution to journalConference article

    Open Access

    Dialectica categories for the lambek calculus

    de Paiva, V. & Eades, H., Jan 1 2018, Logical Foundations of Computer Science - International Symposium, LFCS 2018, Proceedings. Nerode, A. & Artemov, S. (eds.). Springer Verlag, p. 256-272 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10703 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2 Scopus citations