Willem Heijltjes

View Scopus Profile

Willem Heijltjes

Dr

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

  • 1 WEST 4.67

Accepting Doctoral Students

  • 14 Chapter in a published conference proceeding
  • 3 Paper
  • 3 Article
  • 1 Doctoral Thesis
Filter
Chapter in a published conference proceeding

Search results

  • 2024

    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
  • 2023

    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)
  • 2022

    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
    49 Downloads (Pure)
  • 2021

    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
    2 Citations (SciVal)
    99 Downloads (Pure)
  • 2020

    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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    9 Citations (SciVal)
  • 2019

    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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    6 Citations (SciVal)
    72 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    71 Downloads (Pure)
  • 2018

    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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    3 Citations (SciVal)
    72 Downloads (Pure)
  • 2016

    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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    8 Citations (SciVal)
    212 Downloads (Pure)
  • 2015

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

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

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

    File
    5 Citations (SciVal)
    200 Downloads (Pure)
  • 2014

    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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    21 Citations (SciVal)
    220 Downloads (Pure)
  • 2013

    A proof of strong normalisation of the typed atomic lambda-calculus

    Gundersen, T., Heijltjes, W. & Parigot, M., 1 Jan 2013, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR): Proceedings of the 19th International Conference, LPAR, Stellenbosch, South Africa, December 14-19, 2013. Heidelberg, Germany: Springer, p. 340-354 15 p. (Lecture Notes in Computer Science; vol. 8312).

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

    Open Access
    File
    4 Citations (SciVal)
    65 Downloads (Pure)

  • Atomic lambda-calculus: A typed lambda-calculus with explicit sharing

    Gundersen, T., Heijltjes, W. & Parigot, M., 1 Aug 2013, Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science: LICS'13. IEEE, p. 311-320 10 p. (ACM/IEEE 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
    File
    17 Citations (SciVal)
    344 Downloads (Pure)
  • 2011

    Proof nets for additive linear logic with units

    Heijltjes, W., Jun 2011, 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 207-216

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

    Open Access
    File
    7 Citations (SciVal)
    247 Downloads (Pure)