• 26 Citations
  • 2 h-Index
20122019

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.

  • 3 Similar Profiles

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

Research Output

  • 26 Citations
  • 2 h-Index
  • 4 Conference contribution
  • 3 Conference article
  • 2 Article

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

    Dualized simple type theory

    Eades, H., Stump, A. & McCleeary, R., Jan 1 2016, In : Logical Methods in Computer Science. 12, 3

    Research output: Contribution to journalArticle

  • Multiple conclusion linear logic: Cut elimination and more

    Eades, H. & de Paiva, V., Jan 1 2016, Logical Foundations of Computer Science - International Symposium, LFCS 2016, Proceedings. Nerode, A. & Artemov, S. (eds.). Springer Verlag, p. 90-105 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9537).

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

  • 2 Scopus citations