Murdoch Gabbay

Murdoch Gabbay

Heriot-Watt University - Edinburgh / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1147570
person_outline Murdoch Gabbay's MOST POPULAR ARTICLES
1-) A new approach to abstract syntax with variable bindingMJ Gabbay, AM PittsFormal aspects of computing 13 (3), 341-363, 20026732002
2-) A new approach to abstract syntax involving bindersM Gabbay, A PittsProceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 19994001999
3-) Nominal unificationC Urban, AM Pitts, MJ GabbayTheoretical Computer Science 323 (1-3), 473-497, 20042602004
4-) FreshML: Programming with binders made simpleMR Shinwell, AM Pitts, MJ GabbayProceedings of the eighth ACM SIGPLAN international conference on Functional …, 20032292003
5-) Nominal rewritingM Fernández, MJ GabbayInformation and Computation 205 (6), 917-965, 20071922007