Willem Heijltjes

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 13

Top Topics

Relational Calculus

Proof Theoretic

Strips Planning

Top Venues

Publications

Chris Barrett, Daniel Castle, Willem Heijltjes
The Relational Machine Calculus. LICS (2024)
Chris Barrett, Daniel Castle, Willem Heijltjes
The Relational Machine Calculus. CoRR (2024)
Chris Barrett, Willem Heijltjes, Guy McCusker
The Functional Machine Calculus II: Semantics. CSL (2023)
Chris Barrett, Willem Heijltjes, Guy McCusker
The Functional Machine Calculus II: Semantics. CoRR (2022)
Willem Heijltjes
The Functional Machine Calculus. CoRR (2022)
David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot
Spinal Atomic Lambda-Calculus. FoSSaCS (2020)
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
Decomposing Probabilistic Lambda-calculi. CoRR (2020)
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
Decomposing Probabilistic Lambda-Calculi. FoSSaCS (2020)
Willem Heijltjes, Dominic J. D. Hughes, Lutz Straßburger
Proof Nets for First-Order Additive Linear Logic. FSCD (2019)
Gianluigi Bellin, Willem Heijltjes
Proof Nets for Bi-Intuitionistic Linear Logic. FSCD (2018)
Willem Heijltjes, Lutz Straßburger
Proof nets and semi-star-autonomous categories. Math. Struct. Comput. Sci. 26 (5) (2016)
Dominic J. D. Hughes, Willem Heijltjes
Conflict nets: Efficient locally canonical MALL proof nets. LICS (2016)
Willem Heijltjes, Robin Houston
Proof equivalence in MLL is PSPACE-complete. Log. Methods Comput. Sci. 12 (1) (2016)
Willem Heijltjes, Dominic J. D. Hughes
Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets. LICS (2015)
Willem Heijltjes, Robin Houston
No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete. CSL-LICS (2014)
Tom Gundersen, Willem Heijltjes, Michel Parigot
A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus. LPAR (2013)
Tom Gundersen, Willem Heijltjes, Michel Parigot
Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing. LICS (2013)
Willem Heijltjes
Proof Nets for Additive Linear Logic with Units. LICS (2011)
Willem Heijltjes
Classical proof forestry. Ann. Pure Appl. Log. 161 (11) (2010)