pith. sign in

Murdoch J. Gabbay

Identifiers

  • name variant Murdoch J. Gabbay 0.60 · backfill

Papers (9)

  1. Cryptographic certificates of validity for trustworthy AI cs.CR · 2026 · author #1
  2. Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies cs.LO · 2025 · author #1
  3. Decentralised collaborative action: cryptoeconomics in space cs.CR · 2025 · author #1
  4. Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits cs.LO · 2023 · author #2
  5. Equivariant ZFA with Choice: a position paper cs.LO · 2018 · author #1
  6. Semantics out of context: nominal absolute denotations for first-order logic and computation cs.LO · 2013 · author #1
  7. 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
  8. Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free cs.LO · 2011 · author #1
  9. Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets cs.LO · 2011 · author #1

Mentions

  • 2504.12493 #1 · arxiv_oai · confidence 0.70 Murdoch J. Gabbay
  • 2606.23768 #1 · arxiv_oai · confidence 0.70 Murdoch J. Gabbay
  • 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