Research Output per year

## Fingerprint Dive into the research topics where Jamie Gabbay is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

- 1 Similar Profiles

Categorical or nominal
Mathematics

Lambda Calculus
Mathematics

Substitution
Mathematics

Calculus
Mathematics

Algebra
Mathematics

Heat Shock Protein
Mathematics

Equality
Mathematics

Axiomatization
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, M. J., 22 May 2018, In : Logical Methods in Computer Science. 14, 2, 12.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

Categorical or nominal

Completeness

Duality

Calculus

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

Denotation

First-order Logic

Algebra

Quantification

Quantifiers

## Prizes

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

Jamie Gabbay (Recipient), 2004

Prize: Other distinction