Research Output per year

## 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

## Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness

Gabbay, J. & Gabbay, M. Mar 2017 In : Annals of Pure and Applied Logic. 168, 3, p. 501–621 121 p.Research output: Contribution to journal › Article

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 journal › Article

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., 25Research output: Contribution to journal › Article

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 proceeding › Conference 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 journal › Article

## Prizes

## "most influential paper" of the PPDP'04 conference

Jamie Gabbay (Recipient), 2004

Prize: Other distinction