Fingerprint Fingerprint is based on mining the text of the persons scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Substitution reactions Engineering & Materials Science
Categorical or nominal Mathematics
Algebra Engineering & Materials Science
Lambda calculus Mathematics
Substitution Mathematics
Specifications Engineering & Materials Science
Logic Mathematics
Semantics Engineering & Materials Science

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

Research Output 2002 2017

  • 24 Article
  • 5 Conference contribution
Lambda calculus
Categorical or nominal
Duality theorems

Checking Overlaps of Nominal Rewriting Rules

Ayala-Rincón, M., Fernández, M., Gabbay, J. & Rocha-Oliveira, A. C. 11 Jul 2016 In : Electronic Notes in Theoretical Computer Science. 323, p. 39-56 18 p.

Research output: Contribution to journalArticle

Categorical or nominal

Semantics Out of Context: Nominal Absolute Denotations for First-Order Logic and Computation

Gabbay, J. Jun 2016 In : Journal of the ACM. 63, 3, 66 p., 25

Research output: Contribution to journalArticle

First-order logic

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 fur Informatik, p. 374-389 16 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 41)

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

Substitution reactions

Quantifiers in logic and proof-search using permissive-nominal terms and sets

Gabbay, M. J. & Wirth, C-P. Apr 2015 In : Journal of Logic and Computation. 25, 2, p. 473-523 51 p.

Research output: Contribution to journalArticle


"most influential paper" of the PPDP'04 conference

Jamie Gabbay (Recipient), 2004

Prize: Other distinction