The following pages link to Labelled calculi of resources (Q2937686):
Displaying 5 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine (Q2864217) (← links)
- Some 3-Dimensional Systems of Labelled Deduction (Q4842281) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)