`Travelled to:`

1 × Canada

1 × Italy

1 × Japan

1 × Poland

`Collaborated with:`

W.Heijltjes R.J.v.Glabbeek ∅ H.Devarajan G.D.Plotkin V.R.Pratt

`Talks about:`

logic (3) net (3) multipl (2) linear (2) proof (2) addit (2) product (1) complex (1) complet (1) system (1)

## Person: Dominic J. D. Hughes

### DBLP: Hughes:Dominic_J=_D=

### Contributed to:

### Wrote 4 papers:

- LICS-2015-HeijltjesH #bound #complexity #logic #petri net #proving
- Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets (WH, DJDH), pp. 80–91.
- LICS-2003-HughesG #linear #logic #multi #proving
- Proof Nets for Unit-free Multiplicative-Additive Linear Logic (DJDH, RJvG), pp. 1–10.
- LICS-1999-DevarajanHPP #linear #logic #multi
- Full Completeness of the Multiplicative Linear Logic of Chu Spaces (HD, DJDH, GDP, VRP), pp. 234–243.
- LICS-1997-Hughes #game studies #system f
- Games and Definability for System F (DJDH), pp. 76–86.