BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Heijltjes:Willem

Contributed to:

LICS 20152015
CSL-LICS 20142014
LICS 20132013
LICS 20112011

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.