dblp.uni-trier.dewww.uni-trier.de

Dominic J. D. Hughes

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
5EEDominic J. D. Hughes: Towards Hilbert's 24th Problem: Combinatorial Proof Invariants: (Preliminary version). Electr. Notes Theor. Comput. Sci. 165: 37-63 (2006)
2005
4EEDominic 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
3EEDominic J. D. Hughes, Rob J. van Glabbeek: Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract). LICS 2003: 1-10
1999
2EEHarish 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
1EEDominic J. D. Hughes: Games and Definability for System F. LICS 1997: 76-86

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)