Willem Heijltjes

View Scopus Profile

Willem Heijltjes

Dr

  • 1 WEST 4.67

Accepting Doctoral Students

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.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 13 Chapter in a published conference proceeding
  • 3 Paper
  • 3 Article
  • 1 Doctoral Thesis

  • The Functional Machine Calculus

    Heijltjes, W., 22 Feb 2023, Proceedings of MFPS XXXVIII. 2023 ed. Episciences, Vol. 1. 24 p. (Electronic Notes in Theoretical Informatics and Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    55 Downloads (Pure)

  • The Functional Machine Calculus II: Semantics

    Barrett, C., Heijltjes, W. & McCusker, G., 3 Feb 2023. 18 p.

    Research output: Contribution to conference › Paper › peer-review

    Open Access

  • Normalization Without Syntax

    Heijltjes, W., Hughes, D. & Strassburger, L., 28 Jun 2022, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022: FSCD 2022. Felty, A. P. (ed.). 2022 ed. Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 228. p. 19:1-19:19 19 p. 19. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 228).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    10 Downloads (Pure)

  • The Functional Machine Calculus

    Heijltjes, W., 20 Dec 2022, (Acceptance date). 24 p.

    Research output: Contribution to conference › Paper › peer-review

    Open Access
    File
    3 Downloads (Pure)

  • A deep quantitative type system

    Guerrieri, G., Heijltjes, W. & Paulus, J., 13 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021: CSL 2021. Baier, C. & Goubault-Larrecq, J. (eds.). 2021 ed. Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 183. p. 24:1-24:24 24 p. 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 183).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    1 Citation (SciVal)
    54 Downloads (Pure)
View all 20 research outputs