If you made any changes in Pure these will be visible here soon.

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

  • 25 Article
  • 6 Conference contribution

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 proceedingConference 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 journalArticle

Open Access
File
Stratification
Strong Normalization
Confluence
First-order Logic
Categorical or nominal
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 journalArticle

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 journalArticle

Denotation
First-order Logic
Algebra
Quantification
Quantifiers

Prizes

"most influential paper" of the PPDP'04 conference

Jamie Gabbay (Recipient), 2004

Prize: Other distinction