Willem Heijltjes

According to our database, Willem Heijltjes authored at least 22 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Simple Types for Probabilistic Termination.

Willem Heijltjes, Georgina Majury

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

The Functional Machine Calculus III: Choice (Early Announcement).

Willem Heijltjes

CoRR, 2024

The Relational Machine Calculus.

Chris Barrett, Daniel Castle, Willem Heijltjes

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

The Functional Machine Calculus II: Semantics.

Chris Barrett, Willem Heijltjes, Guy McCusker

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

The Functional Machine Calculus.

Willem Heijltjes

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

Normalization Without Syntax.

Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

A Deep Quantitative Type System.

Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

Spinal Atomic Lambda-Calculus.

David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Decomposing Probabilistic Lambda-Calculi.

Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

Proof Nets for First-Order Additive Linear Logic.

Willem Heijltjes, Dominic J. D. Hughes, Lutz Straßburger

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Intuitionistic proofs without syntax.

Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Teaching of Computing to Mathematics Students: Programming and Discrete Mathematics.

Jack D. Betteridge, James H. Davenport, Melina A. Freitag, Willem Heijltjes, Stef Kynaston, Gregory Sankaran, Gunnar Traustason

Proceedings of the 3rd Conference on Computing Education Practice, 2019

2018

Proof Nets for Bi-Intuitionistic Linear Logic.

Gianluigi Bellin, Willem Heijltjes

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2016

Proof nets and semi-star-autonomous categories.

Willem Heijltjes, Lutz Straßburger

Math. Struct. Comput. Sci., 2016

Proof equivalence in MLL is PSPACE-complete.

Willem Heijltjes, Robin Houston

Log. Methods Comput. Sci., 2016

Conflict nets: Efficient locally canonical MALL proof nets.

Dominic J. D. Hughes, Willem Heijltjes

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets.

Willem Heijltjes, Dominic J. D. Hughes

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete.

Willem Heijltjes, Robin Houston

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus.

Tom Gundersen, Willem Heijltjes, Michel Parigot

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing.

Tom Gundersen, Willem Heijltjes, Michel Parigot

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2011

Proof Nets for Additive Linear Logic with Units.

Willem Heijltjes

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

2010

Classical proof forestry.

Willem Heijltjes

Ann. Pure Appl. Log., 2010