No photo of Jamie Gabbay

Jamie Gabbay

Dr

  • EH14 4AS

    United Kingdom

20022020

Research activity per year

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

Search results

  • 2020

    UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms

    Brünjes, L. & Gabbay, M. J., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Applications. ISoLA 2020. Margaria, T. & Steffen, B. (eds.). Springer, p. 73-88 16 p. (Lecture Notes in Computer Science; vol. 12478).

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

    Open Access
    File
    11 Downloads (Pure)
  • 2018

    Equivariant ZFA with Choice: a position paper

    Gabbay, J., 12 Apr 2018, Proceedings of the 25th Automated Reasoning Workshop: Bridging the Gap between Theory and Practice. Jamnik, M., Koutsoukou-Argyraki, A., Ayers, E. & Mangla, C. (eds.). p. 39-40 2 p.

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

    Open Access
  • 2015

    Leaving the nest: Nominal techniques for variables with interleaving scopes

    Gabbay, J., Ghica, D. R. & Petrisan, D., Sep 2015, 24th EACSL Annual Conference on Computer Science Logic: CSL 2015, September 7–10, 2015, Berlin, Germany. Kreutzer, S. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 374-389 16 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 41).

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

    Open Access
    File
    4 Citations (Scopus)
    39 Downloads (Pure)
  • 2007

    A formal calculus for informal equality with binding

    Gabbay, M. & Mathijssen, A., 2007, Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, Proceedings. Vol. 4576 LNCS. p. 162-176 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4576 LNCS).

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

    23 Citations (Scopus)
  • Curry-style types for nominal terms

    Fernández, M. & Gabbay, M., 2007, Types for Proofs and Programs - International Workshop, TYPES 2006, Revised Selected Papers. Vol. 4502 LNCS. p. 125-139 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4502 LNCS).

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

    10 Citations (Scopus)
  • 2006

    Capture-avoiding substitution as a nominal algebra

    Gabbay, M. & Mathijssen, A., 2006, Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Proceedings. Vol. 4281 LNCS. p. 198-212 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4281 LNCS).

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

    17 Citations (Scopus)
  • One-and-a-halfth-order logic

    Gabbay, M. & Mathijssen, A., 2006, PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. Vol. 2006. p. 189-200 12 p.

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

    14 Citations (Scopus)