Dominic J. D. Hughes

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

5 Dominic J. D. Hughes: Towards Hilbert's 24^th Problem: Combinatorial Proof Invariants: (Preliminary version). Electr. Notes Theor. Comput. Sci. 165: 37-63 (2006)

2005

4 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 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 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 Dominic J. D. Hughes: Games and Definability for System F. LICS 1997: 76-86

	2006
5		Dominic J. D. Hughes: Towards Hilbert's 24^th Problem: Combinatorial Proof Invariants: (Preliminary version). Electr. Notes Theor. Comput. Sci. 165: 37-63 (2006)
	2005
4		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		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		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		Dominic J. D. Hughes: Games and Definability for System F. LICS 1997: 76-86

Coauthor Index

1 Harish Devarajan [2]

2 Rob J. van Glabbeek [3] [4]

3 Gordon D. Plotkin [2]

4 Vaughan R. Pratt [2]

1	Harish Devarajan	[2]
2	Rob J. van Glabbeek	[3] [4]
3	Gordon D. Plotkin	[2]
4	Vaughan R. Pratt	[2]