Murdoch Gabbay

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 5

Top Topics

Temporal Reasoning

Simple Examples

Computational Model

Theoretical Foundation

Top Venues

J. Log. Comput.

Publications

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