Murdoch James Gabbay

Murdoch Gabbay

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

Coauthor Index

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

Colors in the list of coauthors