Seuraa
Murdoch Gabbay
Murdoch Gabbay
Lecturer in Computer Science at Heriot-Watt University, Edinburgh, UK
Vahvistettu sähköpostiosoite verkkotunnuksessa hw.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
A new approach to abstract syntax with variable binding
MJ Gabbay, AM Pitts
Formal aspects of computing 13, 341-363, 2002
7112002
A new approach to abstract syntax involving binders
M Gabbay, A Pitts
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
4231999
Nominal unification
C Urban, AM Pitts, MJ Gabbay
Theoretical Computer Science 323 (1-3), 473-497, 2004
2822004
FreshML: Programming with binders made simple
MR Shinwell, AM Pitts, MJ Gabbay
Proceedings of the eighth ACM SIGPLAN international conference on Functional …, 2003
2292003
Nominal rewriting
M Fernández, MJ Gabbay
Information and Computation 205 (6), 917-965, 2007
1922007
A metalanguage for programming with bound names modulo renaming
AM Pitts, MJ Gabbay
Mathematics of Program Construction: 5th International Conference, MPC 2000 …, 2000
1692000
A theory of inductive definitions with α-equivalence: semantics, implementation, programming language
MJ Gabbay
University of Cambridge, 2001
1162001
Nominal (universal) algebra: equational logic with names and binding
MJ Gabbay, A Mathijssen
Journal of Logic and Computation 19 (6), 1455-1508, 2009
872009
Nominal unification
C Urban, A Pitts, M Gabbay
Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual …, 2003
742003
Nominal rewriting systems
M Fernández, MJ Gabbay, I Mackie
Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004
702004
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
602011
Capture-avoiding substitution as a nominal algebra
MJ Gabbay, A Mathijssen
Formal Aspects of Computing 20, 451-479, 2008
572008
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
522003
A general mathematics of names
MJ Gabbay
Information and Computation 205 (7), 982-1011, 2007
472007
UTxO-vs account-based smart contract blockchain programming paradigms
L Brünjes, MJ Gabbay
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
462020
A formal calculus for informal equality with binding
MJ Gabbay, A Mathijssen
International Workshop on Logic, Language, Information, and Computation, 162-176, 2007
452007
Nominal algebra and the HSP theorem
MJ Gabbay
Journal of Logic and Computation 19 (2), 341-367, 2009
422009
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20