Follow
Murdoch Gabbay
Murdoch Gabbay
Lecturer in Computer Science at Heriot-Watt University, Edinburgh, UK
Verified email at hw.ac.uk - Homepage
Title
Cited by
Cited by
Year
A new approach to abstract syntax with variable binding
MJ Gabbay, AM Pitts
Formal aspects of computing 13, 341-363, 2002
6872002
A new approach to abstract syntax involving binders
M Gabbay, A Pitts
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
4141999
Nominal unification
C Urban, AM Pitts, MJ Gabbay
Theoretical Computer Science 323 (1-3), 473-497, 2004
2672004
FreshML: Programming with binders made simple
MR Shinwell, AM Pitts, MJ Gabbay
Proceedings of the eighth ACM SIGPLAN international conference on Functional …, 2003
2272003
Nominal rewriting
M Fernández, MJ Gabbay
Information and Computation 205 (6), 917-965, 2007
1772007
A metalanguage for programming with bound names modulo renaming
AM Pitts, MJ Gabbay
Mathematics of Program Construction: 5th International Conference, MPC 2000 …, 2000
1682000
A theory of inductive definitions with α-equivalence: semantics, implementation, programming language
MJ Gabbay
University of Cambridge, 2001
1132001
Nominal (universal) algebra: equational logic with names and binding
MJ Gabbay, A Mathijssen
Journal of Logic and Computation 19 (6), 1455-1508, 2009
822009
Nominal unification
C Urban, A Pitts, M Gabbay
Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual …, 2003
702003
Nominal rewriting systems
M Fernández, MJ Gabbay, I Mackie
Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004
692004
Foundations of nominal techniques: logic and semantics of variables in abstract syntax
MJ Gabbay
Bulletin of Symbolic Logic 17 (2), 161-229, 2011
652011
One-and-a-halfth-order logic
MJ Gabbay, A Mathijssen
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
622006
Freshness and name-restriction in sets of traces with names
MJ Gabbay, V Ciancia
Foundations of Software Science and Computational Structures: 14th …, 2011
572011
Capture-avoiding substitution as a nominal algebra
MJ Gabbay, A Mathijssen
Formal Aspects of Computing 20, 451-479, 2008
562008
A sequent calculus for nominal logic
M Gabbay, J Cheney
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
552004
The π-calculus in FM
MJ Gabbay
Thirty Five Years of Automating Mathematics, 247-269, 2003
512003
A general mathematics of names
MJ Gabbay
Information and Computation 205 (7), 982-1011, 2007
472007
A formal calculus for informal equality with binding
MJ Gabbay, A Mathijssen
International Workshop on Logic, Language, Information, and Computation, 162-176, 2007
442007
Nominal algebra and the HSP theorem
MJ Gabbay
Journal of Logic and Computation 19 (2), 341-367, 2009
412009
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
G Dowek, MJ Gabbay, DP Mulligan
Logic Journal of IGPL 18 (6), 769-822, 2010
402010
The system can't perform the operation now. Try again later.
Articles 1–20