Photo of Willem Heijltjes

Willem Heijltjes

Dr

  • 1 WEST 4.67

Accepting PhD Students

20102016

Personal profile

Research interests

My research is in the area of logic and proof theory, and has focused on canonical graphical representations of proof, commonly known as proof nets.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 2 Similar Profiles
Proof Nets Mathematics
Linear Logic Mathematics
Unit Mathematics
Multiplicative Mathematics
Lambda Calculus Mathematics
Strong Normalization Mathematics
Equivalence Mathematics
Logic Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2010 2016

  • 6 Conference contribution
  • 3 Article
  • 1 Doctoral Thesis
1 Citations

Conflict nets: efficient locally canonical MALL proof nets

Hughes, D. & Heijltjes, W. 2 Jul 2016 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016. New York, U. S. A.: Association for Computing Machinery, p. 437-446 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Proof Nets
Linear Logic
Multiplicative
Unit
Conflict

Proof equivalence in MLL is PSPACE-complete

Heijltjes, W. & Houston, R. 2 Mar 2016 In : Logical Methods in Computer Science. 12, 1

Research output: Contribution to journalArticle

Open Access
File
Hardness
Equivalence
Proof Nets
Unit
Linear Logic

Proof nets and semi-*-autonomous categories

Heijltjes, W. & Strassburger, L. 1 Jun 2016 In : Mathematical Structures in Computer Science. 26, 5, p. 789-828 40 p.

Research output: Contribution to journalArticle

Proof Nets
Linear Logic
Stars
Star
Multiplicative
2 Citations

Complexity bounds for sum-product logic via additive proof nets and Petri nets

Heijltjes, W. & Hughes, D. 2015 Proceedings of the 30th ACM/IEEE Symposium on Logic in Computer Science (LICS), 2015. IEEE, p. 80-91 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Proof Nets
Petri Nets
Linear Logic
Logic
Proof Search
9 Citations

No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete

Heijltjes, W. & Houston, R. 2014 Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. New York : Association for Computing Machinery, 10 p. 50

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Proof Nets
Equivalence
Unit
Linear Logic
Word problem