The following pages link to Willem Heijltjes (Q636368):
Displayed 12 items.
- Classical proof forestry (Q636369) (← links)
- Decomposing probabilistic lambda calculi (Q2200818) (← links)
- Spinal atomic \(\lambda\)-calculus (Q2200851) (← links)
- Proof equivalence in MLL is PSPACE-complete (Q2790165) (← links)
- A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus (Q2870139) (← links)
- No proof nets for MLL with units (Q4635635) (← links)
- Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets (Q4635793) (← links)
- Conflict nets (Q4635901) (← links)
- (Q4993336) (← links)
- (Q5089024) (← links)
- Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing (Q5271068) (← links)
- Proof nets and semi-star-autonomous categories (Q5741579) (← links)