Dominic Hughes - Selected Papers


Proofs Without Syntax Programme


Other:


Complexity Bounds for Sum-Product Logic via Proof Nets and Petri Nets [abstract pdf ps.gz bibtex]
Logic in Computer Science, 2015. With Willem Heijltjes

First-order proofs without syntax
Slides for Berkeley Logic Colloquium, 2014

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.)

Input Systems and Methods for the Evaluation and Optimization of Same [abstract]
U.S. Patent 7259751 (2007) with James Warren (second inventor) and Orkut Buyukkokten (third inventor)

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

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 [abstract pdf ps ps.gz bibtex]
With Rob van Glabbeek as second author. ACM Transactions on Computational Logic 6(4) 2005

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) [abstract pdf ps ps.gz arxiv]
With Robin Houston and Andrea Schalk. Draft, April 2005

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

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

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

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

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

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

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

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

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

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

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