Murdoch James Gabbay Home Page Coauthor index DBLP Vis pubzone.org

Murdoch Gabbay

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch James Gabbay, Dominic P. Mulligan: Two-level Lambda-calculus. Electr. Notes Theor. Comput. Sci. 246: 107-129 (2009)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Gabbay, Murdoch James Gabbay: Term Sequent Logic. Electr. Notes Theor. Comput. Sci. 246: 87-106 (2009)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch James Gabbay, Stéphane Lengrand: The lambda-context calculus (extended version). Inf. Comput. 207(12): 1369-1400 (2009)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch James Gabbay: Nominal Algebra and the HSP Theorem. J. Log. Comput. 19(2): 341-367 (2009)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch James Gabbay: A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets. Theor. Comput. Sci. 410(12-13): 1159-1189 (2009)
2008
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay, Michael Gabbay: Substitution for Fraenkel-Mostowski foundations. AISB Convention 2008: 65-72
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch James Gabbay, Martin Hofmann: Nominal Renaming Sets. LPAR 2008: 158-173
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay, Dominic P. Mulligan: One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. WoLLIC 2008: 179-193
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay, Stéphane Lengrand: The lambda-context Calculus. Electr. Notes Theor. Comput. Sci. 196: 19-35 (2008)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay, Michael Gabbay: a-Logic With Arrows. Electr. Notes Theor. Comput. Sci. 216: 3-29 (2008)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch James Gabbay, Aad Mathijssen: Capture-avoiding substitution as a nominal algebra. Formal Asp. Comput. 20(4-5): 451-479 (2008)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch James Gabbay, Aad Mathijssen: One-and-a-halfth-order Logic. J. Log. Comput. 18(4): 521-562 (2008)
2007
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay, Aad Mathijssen: A Formal Calculus for Informal Equality with Binding. WoLLIC 2007: 162-176
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay: Hierarchical Nominal Terms and Their Theory of Rewriting. Electr. Notes Theor. Comput. Sci. 174(5): 37-52 (2007)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Murdoch Gabbay: Nominal rewriting. Inf. Comput. 205(6): 917-965 (2007)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay: A general mathematics of names. Inf. Comput. 205(7): 982-1011 (2007)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay: Fresh Logic: proof-theory and semantics for FM and nominal techniques. J. Applied Logic 5(2): 356-387 (2007)
2006
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay, Aad Mathijssen: Capture-Avoiding Substitution as a Nominal Algebra. ICTAC 2006: 198-212
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay, Aad Mathijssen: One-and-a-halfth-order logic. PPDP 2006: 189-200
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Murdoch Gabbay: Curry-Style Types for Nominal Terms. TYPES 2006: 125-139
2005
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers: SOS for Higher Order Processes. CONCUR 2005: 308-322
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Murdoch Gabbay: Nominal rewriting with name generation: abstraction vs. locality. PPDP 2005: 47-58
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay: A new calculus of contexts. PPDP 2005: 94-105
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Gabbay, Murdoch Gabbay: Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning. We Will Show Them! (1) 2005: 701-730
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay, Michael Gabbay: a-logic. We Will Show Them! (1) 2005: 731-764
2004
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay, James Cheney: A Sequent Calculus for Nominal Logic. LICS 2004: 139-148
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Murdoch Gabbay, Ian Mackie: Nominal rewriting systems. PPDP 2004: 108-119
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Urban, Andrew M. Pitts, Murdoch Gabbay: Nominal unification. Theor. Comput. Sci. 323(1-3): 473-497 (2004)
2003
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Urban, Andrew M. Pitts, Murdoch Gabbay: Nominal Unificaiton. CSL 2003: 513-527
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay: FreshML: programming with binders made simple. ICFP 2003: 263-274
2002
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay, Andrew M. Pitts: A New Approach to Abstract Syntax with Variable Binding. Formal Asp. Comput. 13(3-5): 341-363 (2002)
2000
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew M. Pitts, Murdoch Gabbay: A Metalanguage for Programming with Bound Names Modulo Renaming. MPC 2000: 230-255
1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch Gabbay, Andrew M. Pitts: A New Approach to Abstract Syntax Involving Binders. LICS 1999: 214-224

Coauthor Index

1James Cheney [8]
2Maribel Fernández [7] [12] [14] [19]
3Michael Gabbay [9] [10] [24] [28] [32]
4Martin Hofmann [27]
5Stéphane Lengrand [25] [31]
6Ian Mackie [7]
7Aad Mathijssen [15] [16] [21] [22] [23]
8Mohammad Reza Mousavi [13]
9Dominic P. Mulligan [26] [33]
10Andrew M. Pitts [1] [2] [3] [4] [5] [6]
11Michel A. Reniers [13]
12Mark R. Shinwell [4]
13Christian Urban [5] [6]

Colors in the list of coauthors

Copyright © Mon Nov 30 15:58:31 2009 by Michael Ley (ley@uni-trier.de)