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
valuation
Semantics
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

Rewriting
confluence
Specifications
Categorical or nominal
Overlap

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

Denotation
First-order logic
Quantification
Connectives
Substitution

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

Semantics
Syntactics
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

Prizes

"most influential paper" of the PPDP'04 conference

Jamie Gabbay (Recipient), 2004

Prize: Other distinction