Dominic P. Mulligan

List of publications from the DBLP Bibliography Server - FAQ

2008

1 EE Murdoch Gabbay, Dominic P. Mulligan: One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. WoLLIC 2008: 179-193

2008
1	EE	Murdoch Gabbay, Dominic P. Mulligan: One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. WoLLIC 2008: 179-193

Coauthor Index

1 Murdoch James Gabbay (Murdoch Gabbay) [1]