Dominic P. Mulligan

Murdoch James Gabbay, Dominic P. Mulligan: Corrigendum to "Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms" [Inf.Comput.208(3)(2010) 230-258]. Inf. Comput. 212: 119 (2012)

Dominic P. Mulligan, Claudio Sacerdoti Coen: On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor. CPP 2012: 43-59

R. Armadio, Andrea Asperti, Nicholas Ayache, B. Campbell, Dominic P. Mulligan, R. Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, I. Stark: Certified Complexity. Procedia CS 7: 175-177 (2011)

Murdoch James Gabbay, Dominic P. Mulligan: Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets. LFMTP 2011: 58-75

Murdoch James Gabbay, Dominic P. Mulligan: Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms. Inf. Comput. 208(3): 230-258 (2010)

Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan: Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. Logic Journal of the IGPL 18(6): 769-822 (2010)

Murdoch James Gabbay, Dominic P. Mulligan: Two-level Lambda-calculus. Electr. Notes Theor. Comput. Sci. 246: 107-129 (2009)

Murdoch James Gabbay, Dominic P. Mulligan: Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables. LFMTP 2009: 64-73

Murdoch Gabbay, Dominic P. Mulligan: One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. WoLLIC 2008: 179-193