Dominic P. Mulligan

Available identifiers

zbMath Open mulligan.dominic-pMaRDI QIDQ418157

List of research outcomes

Publication	Date of Publication	Type
All watched over by machines of loving grace	2024-11-26	Paper
Programming and Proving with Classical Types	2022-12-09	Paper
Lem: reusable engineering of real-world semantics	2016-09-29	Paper
Certified Complexity (CerCo)	2016-01-07	Paper
Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms	2012-05-24	Paper
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques	2010-12-14	Paper
Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms	2010-04-14	Paper
One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations	2008-07-10	Paper

Research outcomes over time

This page was built for person: Dominic P. Mulligan