Dominic Hughes

Identifiers

• name variant Dominic Hughes 0.60 · backfill

Papers (9)

1. MALL proof nets identify proofs modulo rule commutation cs.LO · 2016 · author #2
2. Hypergames and full completeness for system F (rough draft) math.LO · 2008 · author #1
3. Simple multiplicative proof nets with units math.LO · 2005 · author #1
4. Simple free star-autonomous categories and full coherence math.CT · 2005 · author #1
5. A minimal classical sequent calculus free of structural rules math.LO · 2005 · author #1
6. Logic Without Syntax math.LO · 2005 · author #1
7. Modelling Linear Logic Without Units (Preliminary Results) math.CT · 2005 · author #2
8. Classical Logic = Fibred MLL math.LO · 2005 · author #1
9. Proofs Without Syntax math.LO · 2004 · author #1

Mentions

• 0801.2575 #1 · backfill · confidence 0.70 Dominic Hughes

Frequent Coauthors

• Andrea Schalk 1 shared papers
• Robin Houston 1 shared papers
• Rob van Glabbeek 1 shared papers