• 26 Citations
  • 2 h-Index
20122019
If you made any changes in Pure, your changes 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.

Semantics Engineering & Materials Science
Linear Logic Mathematics
Intuitionistic Logic Mathematics
Computer programming languages Engineering & Materials Science
Lambek Calculus Mathematics
Functional programming Engineering & Materials Science
Cut-elimination Mathematics
Functional Programming Mathematics

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

Research Output 2012 2019

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

On linear logic, functional programming, and attack trees

Eades, H. D., 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

Functional programming
Functional Programming
Linear Logic
Semantics
Attack

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
2 Citations (Scopus)

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

Lambek Calculus
Modality
Religious buildings
Calculus
Syntactics

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

Type Theory
Intuitionistic Logic
Labeling
Inference Rules
Completeness
2 Citations (Scopus)

Multiple conclusion linear logic: Cut elimination and more

Eades, H. D. & 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

Cut-elimination
Linear Logic
Intuitionistic Logic
Tensors
Regain