Skip to main navigation Skip to search Skip to main content
Willem Heijltjes

View Scopus Profile

Willem Heijltjes

Dr

 https://orcid.org/0009-0001-8941-1150

  • 1 WEST 4.67

Accepting Doctoral Students

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
  • 17 Chapter in a published conference proceeding
  • 3 Paper
  • 3 Article
  • 1 Doctoral Thesis

  • Quantitative Types for the Functional Machine Calculus

    Heijltjes, W., 7 Jul 2025, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025. Fernandez, M. (ed.). Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 337).

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

    Open Access

  • Simple types for probabilistic termination

    Heijltjes, W. & Majury, G., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 22 p. 31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).

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

    Open Access
    1   Link opens in a new tab Citation (SciVal)

  • The Functional Machine Calculus III: Control

    Heijltjes, W., 20 Dec 2025, Electronic Notes in Theoretical Informatics and Computer Science: Proceedings of MFPS XLI. Vol. 5. 30 p. 16682. (Electronic notes in theorical informatics and computer science).

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

    Open Access

  • The Relational Machine Calculus

    Barrett, C., Castle, D. & Heijltjes, W. B., 8 Jul 2024, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. U. S. A.: IEEE, 15 p. 9. (Proceedings - Symposium on Logic in Computer Science).

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

    Open Access
    2   Link opens in a new tab Citations (SciVal)

  • 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)
View all 24 research outputs