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] |