Dominic Hughes - Selected Papers

Simple free star-autonomous categories and full coherence [abstract - pdf - ps.gz - arxiv - bibtex] Journal of Pure and Applied Algebra, 2012.

Simple multiplicative proof nets with units. [abstract - pdf - bibtex] To appear in Annals of Pure and Applied Logic. (Linked version is early draft.)

A minimal classical sequent calculus free of structural rules [abstract - arxiv - bibtex] Annals of Pure and Applied Logic 161(10), 1244-1253, July 2010.

Linking diagrams for free [abstract - pdf - arxiv] Draft, May 2008. (Comments welcome.)

U.S. Patent 7259751. Issued August 21, 2007. Input Systems and Methods for the Evaluation and Optimization of Same, with James Warren (second inventor) and Orkut Buyukkokten (third inventor). Filed via Stanford University Office of Technology Licensing. [abstract]

Proofs Without Syntax. Annals of Mathematics 143(3), 1065-1076, Nov 2006. [abstract - pdf - arxiv draft - bibtex]

Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Preliminary version) [abstract - pdf - ps.gz] Proceedings of WoLLIC 2006. ENTCS 165, 2006.

Hypergame Semantics: Ten years later. Slides for GaLoP'06, Seattle, August 2006.

Combinatorial Proof Semantics [pdf] January 2006. A draft version of Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Preliminary version).

Proof Nets for unit-free Multiplicative-Additive Linear Logic, with Rob van Glabbeek as second author. ACM Transactions on Computational Logic 6(4) 2005. [abstract - pdf - ps - ps.gz - bibtex]

Classical Logic = Fibred MLL [abstract - slides - pdf - ps - ps.gz - arxiv - bibtex] 2-page paper accepted for short presentation at LICS 2005.

Modelling Linear Logic without Units (Preliminary Results). With Robin Houston and Andrea Schalk. Draft, April 2005. [abstract - pdf - ps - ps.gz - arxiv]

Logic Without Syntax. January 2005. [abstract - pdf - ps - ps.gz - arxiv - bibtex]

Intensional double glueing, biextensional collapse, and the Chu construction. Electronic Notes in Theoretical Computer Science 83, 2004. [abstract - pdf - ps - ps.gz - dvi - tex - bibtex]

Deep inference proof theory equals categorical proof theory minus coherence. Unfinished draft, October 6, 2004. [abstract - pdf - ps - ps.gz - dvi - bibtex]

Information Hiding, Anonymity and Privacy: a Modular Approach, with Vitaly Shmatikov. Journal of Computer Security 12.1, 3-36, 2004. [abstract - pdf - ps - ps.gz - bibtex]

Proof Nets for unit-free Multiplicative-Additive Linear Logic (Extended abstract), with Rob van Glabbeek as second author. Logic in Computer Science, 2003. [abstract - FAQ - Slides - pdf - ps - ps.gz - tex - bibtex] footnote.

A canonical graphical syntax for non-empty finite products and sums. Technical report, 2002. [abstract - pdf - ps - ps.gz - bibtex]

Empirical Bi-action Tables: a Tool for the Evaluation and Optimization of Text Input Systems, with James Warren (second author) and Orkut Buyukkokten (third author). Journal of Human-Computer Interaction, 2002. [abstract - pdf]

Understanding Sequentialization. Technical report, 2001. [abstract - pdf - ps - ps.gz - bibtex]

Hypergame Semantics: Full Completeness for System F. D.Phil. (=Ph.D.) Mathematical Sciences, Oxford University, 2000. [abstract - pdf - ps - ps.gz - bibtex]

Full completeness of the multiplicative linear logic of Chu spaces, with Harish Devarajan, Gordon Plotkin, and Vaughan Pratt. Logic in Computer Science, 1999. [abstract - pdf - ps - ps.gz - dvi - dvi.gz - bibtex]

Games and Definability for System F. Logic in Computer Science, 1997. [abstract - pdf - ps - ps.gz - dvi - bibtex]