Photo of Willem Heijltjes

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.
  • 6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
  • A deep quantitative type system

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

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

    Open Access
    File
    46 Downloads (Pure)
  • Decomposing probabilistic lambda-calculi

    Dal Lago, U., Guerrieri, G. & Heijltjes, W., 17 Apr 2020, Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020, Proceedings. Jean, G-L. & König, B. (eds.). Cham: Springer, Vol. 12077. p. 136-156 21 p. (Lecture Notes in Computer Science; vol. 12077).

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

    Open Access
    1 Citation (Scopus)
  • Spinal atomic lambda-calculus

    Sherratt, D., Heijltjes, W., Gundersen, T. & Parigot, M., 2020, p. 582-601.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
    1 Citation (Scopus)
  • 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, p. 1-13 13 p. (Annual Symposium on Logic in Computer Science; vol. 2019-June).

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

    Open Access
    File
    1 Citation (Scopus)
    31 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
    25 Downloads (Pure)
If you made any changes in Pure these will be visible here soon.