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:
2015201420132011Wrote 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.