| 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 | |
| 1 | Murdoch James Gabbay (Murdoch Gabbay) | [1] [2] |