Photo of Willem Heijltjes

Willem Heijltjes

Dr

Accepting PhD Students

20102021

Research output per year

If you made any changes in Pure these will be visible here soon.

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 Dive into the research topics where Willem Heijltjes is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

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

Projects

Research Output

  • 9 Conference contribution
  • 3 Article
  • 1 Doctoral Thesis

Intuitionistic proofs without syntax

Heijltjes, W., Hughes, D. & Strassburger, L., 6 Aug 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. IEEE, Vol. 2019. 13 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2019-June).

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

Open Access
File
1 Citation (Scopus)
9 Downloads (Pure)

Proof nets for first-order additive linear logic

Heijltjes, W., Hughes, D. & Strassburger, L., 18 Jun 2019, Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019). Geuvers, H. & Geuvers, H. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 131. p. 22:1-22:22 22 p. 22. (Leibnitz International Proceedings in Informatics; vol. 2019).

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

Open Access
File
11 Downloads (Pure)

Proof nets for bi-intuitionistic linear logic

Bellin, G. & Heijltjes, W., 1 Jul 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018: Leibnitz International proceedings in Informatics. Kirchner, H. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 108. p. 1-17 17 p. 10. (Leibniz International Proceedings in Informations (LIPIcs)).

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

Open Access
File
  • 1 Citation (Scopus)
    22 Downloads (Pure)

    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. (Proceedings - Symposium on Logic in Computer Science).

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

    Open Access
    File
  • 5 Citations (Scopus)
    76 Downloads (Pure)

    Proof equivalence in MLL is PSPACE-complete

    Heijltjes, W. & Houston, R., 31 Dec 2016, In : Logical Methods in Computer Science. 12, 1, p. 1-34 34 p.

    Research output: Contribution to journalArticle

    Open Access
  • 3 Citations (Scopus)
    43 Downloads (Pure)

    Thesis

    A lambda-calculus that achieves full laziness with spine duplication

    Author: Sherratt, D., 4 Sep 2019

    Supervisor: Guglielmi, A. (Supervisor) & Heijltjes, W. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    The Atomic Lambda-Mu Calculus

    Author: He, F., 29 May 2018

    Supervisor: Heijltjes, W. (Supervisor) & McCusker, G. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File