Dominic P. Mulligan
From MaRDI portal
Person:418157
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| All watched over by machines of loving grace | 2024-11-26 | Paper |
| Programming and Proving with Classical Types Programming Languages and Systems | 2022-12-09 | Paper |
| Lem: reusable engineering of real-world semantics Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Certified complexity (CerCo) Foundational and Practical Aspects of Resource Analysis | 2016-01-07 | Paper |
| Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms Information and Computation | 2012-05-24 | Paper |
| Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques Logic Journal of the IGPL | 2010-12-14 | Paper |
| Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms Information and Computation | 2010-04-14 | Paper |
| One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations Logic, Language, Information and Computation | 2008-07-10 | Paper |
Research outcomes over time
This page was built for person: Dominic P. Mulligan
