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

  • 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, J. 4 Apr 2018 (Accepted/In press) In : Logical Methods in Computer Science.

Research output: Contribution to journalArticle

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

Prizes

"most influential paper" of the PPDP'04 conference

Jamie Gabbay (Recipient), 2004

Prize: Other distinction