Willem Heijltjes

25 papers A* 5B 10Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
Quantitative Types for the Functional Machine Calculus.
FSCD
Willem Heijltjes
2025 J jnl
Quantitative Types for the Functional Machine Calculus.
CoRR
Willem Heijltjes
2025 B conf
Simple Types for Probabilistic Termination.
CSL
Willem Heijltjes, Georgina Majury
2025 B conf
The Functional Machine Calculus III: Control.
MFPS
Willem Heijltjes
2024 J jnl
The Functional Machine Calculus III: Choice (Early Announcement).
CoRR
Willem Heijltjes
2024 A* conf
The Relational Machine Calculus.
LICS
Chris Barrett, Daniel Castle, Willem Heijltjes
2024 J jnl
The Relational Machine Calculus.
CoRR
Chris Barrett, Daniel Castle, Willem Heijltjes
2023 B conf
The Functional Machine Calculus II: Semantics.
CSL
Chris Barrett, Willem Heijltjes, Guy McCusker
2022 J jnl
The Functional Machine Calculus II: Semantics.
CoRR
Chris Barrett, Willem Heijltjes, Guy McCusker
2022 B conf
The Functional Machine Calculus.
MFPS
Willem Heijltjes
2020 B conf
Decomposing Probabilistic Lambda-Calculi.
FoSSaCS
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
2020 J jnl
Decomposing Probabilistic Lambda-calculi.
CoRR
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
2020 B conf
Spinal Atomic Lambda-Calculus.
FoSSaCS
David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot
2019 B conf
Proof Nets for First-Order Additive Linear Logic.
FSCD
Willem Heijltjes, Dominic J. D. Hughes, Lutz Straßburger
2019 — conf
Teaching of Computing to Mathematics Students: Programming and Discrete Mathematics.
CEP
Jack D. Betteridge, James H. Davenport, Melina A. Freitag, Willem Heijltjes, Stef Kynaston, Gregory Sankaran, Gunnar Traustason
2018 B conf
Proof Nets for Bi-Intuitionistic Linear Logic.
FSCD
Gianluigi Bellin, Willem Heijltjes
2016 A* conf
Conflict nets: Efficient locally canonical MALL proof nets.
LICS
Dominic J. D. Hughes, Willem Heijltjes
2016 J jnl
Proof equivalence in MLL is PSPACE-complete.
Log. Methods Comput. Sci.
Willem Heijltjes, Robin Houston
2016 J jnl
Proof nets and semi-star-autonomous categories.
Math. Struct. Comput. Sci.
Willem Heijltjes, Lutz Straßburger
2015 A* conf
Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets.
LICS
Willem Heijltjes, Dominic J. D. Hughes
2014 — conf
No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete.
CSL-LICS
Willem Heijltjes, Robin Houston
2013 B conf
A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus.
LPAR
Tom Gundersen, Willem Heijltjes, Michel Parigot
2013 A* conf
Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing.
LICS
Tom Gundersen, Willem Heijltjes, Michel Parigot
2011 A* conf
Proof Nets for Additive Linear Logic with Units.
LICS
Willem Heijltjes
2010 J jnl
Classical proof forestry.
Ann. Pure Appl. Log.
Willem Heijltjes