Murdoch Gabbay
Murdoch Gabbay
Lecturer in Computer Science at Heriot-Watt University, Edinburgh, UK
Verified email at hw.ac.uk - Homepage
TitleCited byYear
A new approach to abstract syntax with variable binding
MJ Gabbay, AM Pitts
Formal aspects of computing 13 (3-5), 341-363, 2002
5922002
A new approach to abstract syntax involving binders
M Gabbay, A Pitts
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
3571999
Nominal unification
C Urban, AM Pitts, MJ Gabbay
Theoretical Computer Science 323 (1-3), 473-497, 2004
2192004
FreshML: Programming with binders made simple
MR Shinwell, AM Pitts, MJ Gabbay
ACM SIGPLAN Notices 38 (9), 263-274, 2003
2112003
A metalanguage for programming with bound names modulo renaming
AM Pitts, MJ Gabbay
International Conference on Mathematics of Program Construction, 230-255, 2000
1602000
Nominal rewriting
M Fernández, MJ Gabbay
Information and Computation 205 (6), 917-965, 2007
1302007
A theory of inductive definitions with α-equivalence: semantics, implementation, programming language
MJ Gabbay
University of Cambridge, 2001
1002001
Nominal (universal) algebra: equational logic with names and binding
MJ Gabbay, A Mathijssen
Journal of Logic and Computation 19 (6), 1455-1508, 2009
702009
Nominal rewriting systems
M Fernández, MJ Gabbay, I Mackie
Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004
602004
One-and-a-halfth-order logic
MJ Gabbay, A Mathijssen
Journal of Logic and Computation 18 (4), 521-562, 2008
572008
Nominal unification
C Urban, A Pitts, M Gabbay
International Workshop on Computer Science Logic, 513-527, 2003
572003
Foundations of nominal techniques: logic and semantics of variables in abstract syntax
MJ Gabbay
Bulletin of Symbolic Logic 17 (2), 161-229, 2011
562011
A sequent calculus for nominal logic
M Gabbay, J Cheney
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
532004
Capture-avoiding substitution as a nominal algebra
MJ Gabbay, A Mathijssen
Formal Aspects of Computing 20 (4-5), 451-479, 2008
502008
The π-calculus in FM
MJ Gabbay
Thirty Five Years of Automating Mathematics, 247-269, 2003
472003
Freshness and name-restriction in sets of traces with names
MJ Gabbay, V Ciancia
International Conference on Foundations of Software Science and …, 2011
452011
A formal calculus for informal equality with binding
MJ Gabbay, A Mathijssen
International Workshop on Logic, Language, Information, and Computation, 162-176, 2007
432007
A general mathematics of names
MJ Gabbay
Information and Computation 205 (7), 982-1011, 2007
422007
Fresh logic: proof-theory and semantics for FM and nominal techniques
MJ Gabbay
Journal of Applied Logic 5 (2), 356-387, 2007
362007
Capture-avoiding substitution as a nominal algebra
MJ Gabbay, A Mathijssen
International Colloquium on Theoretical Aspects of Computing, 198-212, 2006
362006
The system can't perform the operation now. Try again later.
Articles 1–20