Willem Heijltjes

Publications

• The Functional Machine Calculus II: Semantics. Chris Barrett, Willem Heijltjes, Guy McCusker. 2023.
• The Functional Machine Calculus. Willem Heijltjes. 2023.
• Proof Equivalence in MLL Is PSPACE-Complete. Willem Heijltjes, Robin Houston. 2016.