Research Output per year

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

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

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

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., 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

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

## Prizes

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

Jamie Gabbay (Recipient), 2004

Prize: Other distinction