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
Paper

Search results

  • 2023

    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
    1 Citation (SciVal)
  • 2022

    The Functional Machine Calculus

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

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

    Open Access
    File
    39 Downloads (Pure)
  • 2020

    Spinal atomic lambda-calculus

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

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

    Open Access
    3 Citations (SciVal)