Dominic J. D. Hughes

According to our database, Dominic J. D. Hughes authored at least 21 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell.

Dusko Pavlovic, Dominic J. D. Hughes

CoRR, 2022

Normalization Without Syntax.

Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Unsupervised Extractive Text Summarization with Distance-Augmented Sentence Graphs.

Jingzhou Liu, Dominic J. D. Hughes, Yiming Yang

Proceedings of the SIGIR '21: The 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2021

Combinatorial Proofs and Decomposition Theorems for First-order Logic.

Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

The nucleus of an adjunction and the Street monad on monads.

Dusko Pavlovic, Dominic J. D. Hughes

CoRR, 2020

2019

Proof Nets for First-Order Additive Linear Logic.

Willem Heijltjes, Dominic J. D. Hughes, Lutz Straßburger

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Intuitionistic proofs without syntax.

Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Unification nets: canonical proof net quantifiers.

Dominic J. D. Hughes

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2016

MALL proof nets identify proofs modulo rule commutation.

Rob J. van Glabbeek, Dominic J. D. Hughes

CoRR, 2016

Conflict nets: Efficient locally canonical MALL proof nets.

Dominic J. D. Hughes, Willem Heijltjes

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets.

Willem Heijltjes, Dominic J. D. Hughes

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2012

Is Wolfram and Cook's (2,5) Turing machine really universal?

Dominic J. D. Hughes

CoRR, 2012

2010

A minimal classical sequent calculus free of structural rules.

Dominic J. D. Hughes

Ann. Pure Appl. Log., 2010

2006

Towards Hilbert's 24^th Problem: Combinatorial Proof Invariants: (Preliminary version).

Dominic J. D. Hughes

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

2005

Proof nets for unit-free multiplicative-additive linear logic.

Dominic J. D. Hughes, Rob J. van Glabbeek

ACM Trans. Comput. Log., 2005

Modelling Linear Logic Without Units (Preliminary Results).

Robin Houston, Dominic J. D. Hughes, Andrea Schalk

CoRR, 2005

2004

Information Hiding, Anonymity and Privacy: a Modular Approach.

Dominic J. D. Hughes, Vitaly Shmatikov

J. Comput. Secur., 2004

2003

Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract).

Dominic J. D. Hughes, Rob J. van Glabbeek

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

2002

Empirical Bi-Action Tables: A Tool for the Evaluation and Optimization of Text-Input Systems. Application I: Stylus Keyboards.

Dominic J. D. Hughes, James Warren, Orkut Buyukkokten

Hum. Comput. Interact., 2002

1999

Full Completeness of the Multiplicative Linear Logic of Chu Spaces.

Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1997

Games and Definability for System F.

Dominic J. D. Hughes

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997