The following pages link to Jumping Boxes (Q3644740):
Displaying 7 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- The Prismoid of Resources (Q3182947) (← links)
- Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
- Boxes: A Symbolic Abstract Domain of Boxes (Q4930734) (← links)
- (Q4972738) (← links)
- (Q5013813) (← links)