| |
| 2006 | ||
|---|---|---|
| 5 | EE | Dominic J. D. Hughes: Towards Hilbert's 24th Problem: Combinatorial Proof Invariants: (Preliminary version). Electr. Notes Theor. Comput. Sci. 165: 37-63 (2006) |
| 2005 | ||
| 4 | EE | Dominic J. D. Hughes, Rob J. van Glabbeek: Proof nets for unit-free multiplicative-additive linear logic. ACM Trans. Comput. Log. 6(4): 784-842 (2005) |
| 2003 | ||
| 3 | EE | Dominic J. D. Hughes, Rob J. van Glabbeek: Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract). LICS 2003: 1-10 |
| 1999 | ||
| 2 | EE | Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt: Full Completeness of the Multiplicative Linear Logic of Chu Spaces. LICS 1999: 234-242 |
| 1997 | ||
| 1 | EE | Dominic J. D. Hughes: Games and Definability for System F. LICS 1997: 76-86 |
| 1 | Harish Devarajan | [2] |
| 2 | Rob J. van Glabbeek | [3] [4] |
| 3 | Gordon D. Plotkin | [2] |
| 4 | Vaughan R. Pratt | [2] |