`Travelled to:`

1 × Austria

1 × Canada

1 × Japan

1 × USA

`Collaborated with:`

D.J.D.Hughes R.Houston ∅ T.Gundersen M.Parigot

`Talks about:`

proof (4) net (4) calculus (2) logic (2) addit (2) unit (2) mll (2) explicit (1) product (1) equival (1)

## Person: Willem Heijltjes

### DBLP: Heijltjes:Willem

### 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-CSL-2014-HeijltjesH #equivalence #proving
- No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete (WH, RH), p. 10.
- LICS-2013-GundersenHP #λ-calculus
- Atomic λ Calculus: A Typed λ-Calculus with Explicit Sharing (TG, WH, MP), pp. 311–320.
- LICS-2011-Heijltjes #linear #logic #proving
- Proof Nets for Additive Linear Logic with Units (WH), pp. 207–216.