Pages that link to "Item:Q5111304"
From MaRDI portal
The following pages link to Optimality and the linear substitution calculus (Q5111304):
Displaying 5 items.
- Minimality in a linear calculus with iteration (Q2873683) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- Term Rewriting and Applications (Q5703851) (← 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)