Dominic J. D. Hughes

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 12

Top Topics

Inference Rules

Top Venues

Publications

Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger
Normalization Without Syntax. FSCD (2022)
Dusko Pavlovic, Dominic J. D. Hughes
Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell. CoRR (2022)
Jingzhou Liu, Dominic J. D. Hughes, Yiming Yang
Unsupervised Extractive Text Summarization with Distance-Augmented Sentence Graphs. SIGIR (2021)
Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu
Combinatorial Proofs and Decomposition Theorems for First-order Logic. LICS (2021)
Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu
Combinatorial Proofs and Decomposition Theorems for First-order Logic. CoRR (2021)
Dusko Pavlovic, Dominic J. D. Hughes
The nucleus of an adjunction and the Street monad on monads. CoRR (2020)
Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger
Intuitionistic proofs without syntax. LICS (2019)
Willem Heijltjes, Dominic J. D. Hughes, Lutz Straßburger
Proof Nets for First-Order Additive Linear Logic. FSCD (2019)
Dominic J. D. Hughes
Unification nets: canonical proof net quantifiers. CoRR (2018)
Dominic J. D. Hughes
Unification nets: canonical proof net quantifiers. LICS (2018)
Rob J. van Glabbeek, Dominic J. D. Hughes
MALL proof nets identify proofs modulo rule commutation. CoRR (2016)
Dominic J. D. Hughes, Willem Heijltjes
Conflict nets: Efficient locally canonical MALL proof nets. LICS (2016)
Willem Heijltjes, Dominic J. D. Hughes
Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets. LICS (2015)
Dominic J. D. Hughes
Is Wolfram and Cook's (2,5) Turing machine really universal? CoRR (2012)
Dominic J. D. Hughes
A minimal classical sequent calculus free of structural rules. Ann. Pure Appl. Log. 161 (10) (2010)
Dominic J. D. Hughes
Problem: Combinatorial Proof Invariants: (Preliminary version). Electron. Notes Theor. Comput. Sci. 165 (2006)
Dominic J. D. Hughes, Rob J. van Glabbeek
Proof nets for unit-free multiplicative-additive linear logic. ACM Trans. Comput. Log. 6 (4) (2005)
Robin Houston, Dominic J. D. Hughes, Andrea Schalk
Modelling Linear Logic Without Units (Preliminary Results). CoRR (2005)
Dominic J. D. Hughes, Vitaly Shmatikov
Information Hiding, Anonymity and Privacy: a Modular Approach. J. Comput. Secur. 12 (1) (2004)
Dominic J. D. Hughes, Rob J. van Glabbeek
Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract). LICS (2003)
Dominic J. D. Hughes, James Warren, Orkut Buyukkokten
Empirical Bi-Action Tables: A Tool for the Evaluation and Optimization of Text-Input Systems. Application I: Stylus Keyboards. Hum. Comput. Interact. 17 (2-3) (2002)
Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt
Full Completeness of the Multiplicative Linear Logic of Chu Spaces. LICS (1999)
Dominic J. D. Hughes
Games and Definability for System F. LICS (1997)