The following pages link to Dominic P. Mulligan (Q418157):
Displaying 8 items.
- Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms'' (Q418158) (← links)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- Lem (Q2819676) (← links)
- Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques (Q3061275) (← links)
- Certified Complexity (CerCo) (Q3460499) (← links)
- One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations (Q3511457) (← links)
- Programming and Proving with Classical Types (Q5055999) (← links)
- All watched over by machines of loving grace (Q6643027) (← links)