| 2025 | CSL | Simple Types for Probabilistic Termination. | Willem Heijltjes, Georgina Majury |
| 2025 | FSCD | Quantitative Types for the Functional Machine Calculus. | Willem Heijltjes |
| 2024 | LICS | The Relational Machine Calculus. | Chris Barrett, Daniel Castle, Willem Heijltjes |
| 2023 | CSL | The Functional Machine Calculus II: Semantics. | Chris Barrett, Willem Heijltjes, Guy McCusker |
| 2020 | FOSSACS | Decomposing Probabilistic Lambda-Calculi. | Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes |
| 2020 | FOSSACS | Spinal Atomic Lambda-Calculus. | David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot |
| 2016 | LICS | Conflict nets: Efficient locally canonical MALL proof nets. | Dominic J. D. Hughes, Willem Heijltjes |
| 2015 | LICS | Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets. | Willem Heijltjes, Dominic J. D. Hughes |
| 2014 | CSL | No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete. | Willem Heijltjes, Robin Houston |
| 2013 | LICS | Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing. | Tom Gundersen, Willem Heijltjes, Michel Parigot |
| 2013 | LPAR | A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus. | Tom Gundersen, Willem Heijltjes, Michel Parigot |
| 2011 | LICS | Proof Nets for Additive Linear Logic with Units. | Willem Heijltjes |