Papers

Journal papers:

  • Permissive nominal terms and their unification: an infinite, coinfinite approach to nominal techniques, Gilles Dowek, Murdoch J. Gabbay and Dominic P. Mulligan, Logic Journal of the Interest Group in Pure Logic, volume 18, issue 6, pages 769–822, 2011. (Bibliography entry.  PDF.)
  • Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms, Murdoch J. Gabbay and Dominic P. Mulligan, Journal of Information and Computation, volume 208, issue 3, pages 230–258. 2010 (Bibliography entry.  PDF.)

Workshop and conference papers:

  • On the correctness of an assembler for the MCS-51 microprocessor, Dominic P. Mulligan and Claudio Sacerdoti Coen, accepted by Certified Proofs and Programs (CPP 2012).  (Bibliography entry.  PDF.)
  • Nominal semantics of simply typed lambda-calculus, Murdoch J. Gabbay and Dominic P. Mulligan, Presented at the 6th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP 2011).  (Bibliography entry.  PDF.)
  • Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables, Murdoch J. Gabbay and Dominic P. Mulligan, Presented at the 4th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP 2009).  (Bibliography entry.  PDF.)
  • The two-level lambda-calculus, Murdoch J. Gabbay and Dominic P. Mulligan, Electronic Notes in Theoretical Computer Science, Volume 246, pages 107–129. 2009.  (Bibliography entry.  PDF.)
  • Permissive nominal terms and their unification, Gilles Dowek, Murdoch J. Gabbay and Dominic P. Mulligan, Presented at the 24th Convegno Italiano di Logica Computazionale (CILC 2009).  (Bibliography entry.  PDF.)
  • Semantic nominal terms, Murdoch J. Gabbay and Dominic P. Mulligan, Presented at the 2nd International Workshop on the Theory and Applications of Abstraction, Substitution and Naming (TAASN 2009).  (Bibliography entry.  PDF.)
  • One-and-a-half level terms: Curry-Howard for incomplete derivations, Murdoch J. Gabbay and Dominic P. Mulligan, Proceedings of the 15th International Workshop on Logic, Language, Information and Computation (WoLLIC 2008), Lecture Notes in Artificial Intelligence 5110, pgs. 179–193.  (Bibliography entry.  PDF.)
  • Dynamic relational rippling for HOL, Lucas Dixon and Dominic P. Mulligan.  Presented at the Automated Reasoning Workshop (ARW 2008).  (Bibliography entry.  PDF.)

Thesis:

  • Extensions of nominal terms, Dominic P. Mulligan, PhD thesis, Heriot-Watt University. 2011.  (Bibliography entry.  PDF.)

Posters:

  • Certified complexity, Roberto Amadio, Andrea Asperti, Nicolas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Regis-Giannas, Claudio Sacerdoti Coen and Ian Stark. Presented at the EU Future and Emerging Technologies Exhibition. 2011.  (Bibliography entry.  PDF.)

Technical reports:

  • Permissive nominal terms, Gilles Dowek, Murdoch J. Gabbay and Dominic P. Mulligan. INRIA technical report 6682. 2008.  (Bibliography entry.  PDF.)