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.

Categorical or nominal
Mathematics

Lambda Calculus
Mathematics

Substitution
Mathematics

Algebra
Mathematics

Calculus
Mathematics

Substitution reactions
Engineering & Materials Science

Heat Shock Protein
Mathematics

Equality
Mathematics

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

## Research Output 2002 2018

## Equivariant ZFA with Choice: a position paper

Gabbay, J. 12 Apr 2018*Proceedings of the 25th Automated Reasoning Workshop: Bridging the Gap between Theory and Practice.*Jamnik, M., Koutsoukou-Argyraki, A., Ayers, E. & Mangla, C. (eds.). p. 39-40 2 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

## The language of Stratified Sets is confluent and strongly normalising

Gabbay, J. 4 Apr 2018 (Accepted/In press) In : Logical Methods in Computer Science.Research output: Contribution to journal › Article

Open Access

File

Stratification

Strong Normalization

Confluence

First-order Logic

Categorical or nominal

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

Completeness

Duality

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

Specifications

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

Algebra

Connectives

Language

## Prizes

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

Jamie Gabbay (Recipient), 2004

Prize: Other distinction