• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20122021

Research activity per year

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

Search results

  • 2021

    Graded Modal Dependent Type Theory

    Moon, B., Eades, H. & Orchard, D., 2021, Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Proceedings. Yoshida, N. (ed.). Springer Science and Business Media Deutschland GmbH, p. 462-490 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12648 LNCS).

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

    Open Access
  • 2019

    On linear logic, functional programming, and attack trees

    Eades, H., Jiang, J. & Bryant, A., 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

    2 Scopus citations
  • 2018

    Dialectica categories for the lambek calculus

    de Paiva, V. & Eades, H., 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

    4 Scopus citations
  • 2016

    Multiple conclusion linear logic: Cut elimination and more

    Eades, H. & de Paiva, V., 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

    3 Scopus citations
  • 2012

    Equational reasoning about programs with general recursion and call-by-value semantics

    Kimmell, G., Stump, A., Eades, H. D., Fu, P., Sheard, T., Weirich, S., Casinghino, C., Sjöberg, V., Collins, N. & Ahn, K. Y., 2012, POPL: PLPV'12 - Proceedings of the 6th Workshop on Programming Languages Meets Program Verification. p. 15-25 11 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

    12 Scopus citations