Concepedia

Murdoch J. Gabbay

MJ

35

Publications

2.3K

Citations

20

H-Index

2002

Active since

Affiliations

Heriot-Watt University(Current)

University of Cambridge

Eindhoven University of Technology

École Polytechnique

King's College London

Murdoch J. Gabbay is an author at Heriot-Watt University specializing in formal methods, automated reasoning, and semantics.

ORCID

Top concepts

Publications per year

2002–2015

35

Publications

35

A New Approach to Abstract Syntax with Variable Binding

Murdoch J. Gabbay, Andrew M. Pitts · Formal Aspects of Computing · 2002 · 544 citations · Full text

A sequent calculus for nominal logic

Murdoch J. Gabbay, James Cheney · Logic in Computer Science · 2004 · 306 citations

, , +14

A new approach to abstract syntax involving binders

Murdoch J. Gabbay, Andrew M. Pitts · 2003 · 276 citations

, , +17

Nominal unification

Christian Urban, Andrew M. Pitts, Murdoch J. Gabbay · Theoretical Computer Science · 2004 · 201 citations

FreshML

Mark R. Shinwell, Andrew M. Pitts, Murdoch J. Gabbay · 2003 · 173 citations

, , +15

Rows per page

1–5 of 35