Murdoch J. Gabbay
Heriot-Watt University Malaysia(MY)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Advanced Algebra and Logic, Formal Methods in Verification, semigroups and automata theory
Most-Cited Works
- → A New Approach to Abstract Syntax with Variable Binding(2002)544 cited
- → A sequent calculus for nominal logic(2004)306 cited
- → Curry-Style Types for Nominal Terms(2007)304 cited
- → A new approach to abstract syntax involving binders(2003)276 cited
- → Nominal unification(2004)201 cited
- → FreshML(2003)173 cited
- → A Metalanguage for Programming with Bound Names Modulo Renaming(2000)129 cited
- → Nominal rewriting(2006)113 cited
- → Nominal (Universal) Algebra: Equational Logic with Names and Binding(2009)76 cited
- → Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax(2011)55 cited