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

  • 2 Similar Profiles
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
Open Access
File
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

Open Access
File
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

Open Access
File
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