Murdoch J. Gabbay

Identifiers

• name variant Murdoch J. Gabbay 0.60 · backfill

Papers (7)

1. Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies cs.LO · 2025 · author #1
2. Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits cs.LO · 2023 · author #2
3. Equivariant ZFA with Choice: a position paper cs.LO · 2018 · author #1
4. Semantics out of context: nominal absolute denotations for first-order logic and computation cs.LO · 2013 · author #1
5. Representation and duality of the untyped lambda-calculus in nominal lattice and topological semantics, with a proof of topological completeness cs.LO · 2013 · author #1
6. Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free cs.LO · 2011 · author #1
7. Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets cs.LO · 2011 · author #1

Mentions

• 1305.6291 #1 · backfill · confidence 0.70 Murdoch J. Gabbay
• 1305.5968 #1 · backfill · confidence 0.70 Murdoch J. Gabbay
• 1112.0923 #1 · backfill · confidence 0.70 Murdoch J. Gabbay
• 1111.0089 #1 · backfill · confidence 0.70 Murdoch J. Gabbay

Frequent Coauthors

• Dominic P. Mulligan 1 shared papers
• Gilles Dowek 1 shared papers
• Michael J. Gabbay 1 shared papers