Dominic P. Mulligan

Available identifiers

zbMath Open mulligan.dominic-pMaRDI QIDQ418157

List of research outcomes

Publication	Date of Publication	Type
Programming and Proving with Classical Types	2022-12-09	Paper
Lem	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dominic P. Mulligan