Murdoch Gabbay

34 papers A* 2A 1B 4C 7Journal 13Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
Semiframes: algebras of heterogeneous consensus.
CoRR
Murdoch Gabbay, Giuliano Losa
2023 J jnl
Semitopology: a new topological model of heterogeneous consensus.
CoRR
Murdoch Gabbay, Giuliano Losa
2021 J jnl
Money grows on (proof-)trees: the formal FA1.2 ledger standard.
CoRR
Murdoch Gabbay, Arvid Jakobsson, Kristina Sojakova
2020 J jnl
Equivariant ZFA and the foundations of nominal techniques.
J. Log. Comput.
Murdoch Gabbay
2020 J jnl
Karl Marx and the Blockchain.
CoRR
Devraj Basu, Murdoch Gabbay
2014 J jnl
A simple and complete model theory for intensional and extensional untyped lambda-equality.
FLAP
Michael Gabbay, Murdoch Gabbay
2012 J jnl
Denotation of syntax and metaprogramming in contextual modal type theory (CMTT)
CoRR
Murdoch Gabbay, Aleksandar Nanevski
2012 B conf
Game Semantics in the Nominal Model.
MFPS
Murdoch Gabbay, Dan R. Ghica
2011 J jnl
From nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functions.
CoRR
Gilles Dowek, Murdoch Gabbay
2008 C conf
One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations.
WoLLIC
Murdoch Gabbay, Dominic P. Mulligan
2008 — conf
Substitution for Fraenkel-Mostowski foundations.
AISB Convention
Murdoch Gabbay, Michael Gabbay
2007 C conf
A Formal Calculus for Informal Equality with Binding.
WoLLIC
Murdoch Gabbay, Aad Mathijssen
2007 J jnl
A general mathematics of names.
Inf. Comput.
Murdoch Gabbay
2007 J jnl
Fresh Logic: proof-theory and semantics for FM and nominal techniques.
J. Appl. Log.
Murdoch Gabbay
2007 J jnl
Nominal rewriting.
Inf. Comput.
Maribel Fernández, Murdoch Gabbay
2007 — conf
The lambda-context Calculus.
LFMTP@CADE
Murdoch Gabbay, Stéphane Lengrand
2007 — conf
a-Logic With Arrows.
WFLP@RDP
Murdoch Gabbay, Michael Gabbay
2006 C conf
Capture-Avoiding Substitution as a Nominal Algebra.
ICTAC
Murdoch Gabbay, Aad Mathijssen
2006 — conf
Curry-Style Types for Nominal Terms.
TYPES
Maribel Fernández, Murdoch Gabbay
2006 — conf
Hierarchical Nominal Terms and Their Theory of Rewriting.
LFMTP@FLoC
Murdoch Gabbay
2006 C conf
One-and-a-halfth-order logic.
PPDP
Murdoch Gabbay, Aad Mathijssen
2005 C conf
A new calculus of contexts.
PPDP
Murdoch Gabbay
2005 C conf
Nominal rewriting with name generation: abstraction vs. locality.
PPDP
Maribel Fernández, Murdoch Gabbay
2005 B conf
SOS for Higher Order Processes.
CONCUR
Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers
2005 — conf
Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning.
We Will Show Them! (1)
Michael Gabbay, Murdoch Gabbay
2005 — conf
a-logic.
We Will Show Them! (1)
Murdoch Gabbay, Michael Gabbay
2004 A* conf
A Sequent Calculus for Nominal Logic.
LICS
Murdoch Gabbay, James Cheney
2004 C conf
Nominal rewriting systems.
PPDP
Maribel Fernández, Murdoch Gabbay, Ian Mackie
2004 J jnl
Nominal unification.
Theor. Comput. Sci.
Christian Urban, Andrew M. Pitts, Murdoch Gabbay
2003 A conf
FreshML: programming with binders made simple.
ICFP
Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay
2003 B conf
Nominal Unificaiton.
CSL
Christian Urban, Andrew M. Pitts, Murdoch Gabbay
2002 J jnl
A New Approach to Abstract Syntax with Variable Binding.
Formal Aspects Comput.
Murdoch Gabbay, Andrew M. Pitts
2000 B conf
A Metalanguage for Programming with Bound Names Modulo Renaming.
MPC
Andrew M. Pitts, Murdoch Gabbay
1999 A* conf
A New Approach to Abstract Syntax Involving Binders.
LICS
Murdoch Gabbay, Andrew M. Pitts