Dominic P. Mulligan

	2009
2		Murdoch James Gabbay, Dominic P. Mulligan: Two-level Lambda-calculus. Electr. Notes Theor. Comput. Sci. 246: 107-129 (2009)
	2008
1		Murdoch Gabbay, Dominic P. Mulligan: One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. WoLLIC 2008: 179-193

Coauthor Index

1

Murdoch James Gabbay (Murdoch Gabbay)

[1] [2]