The following pages link to Linear explicit substitutions (Q4444908):
Displaying 7 items.
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Sublinear exaves (Q1921762) (← links)
- New Developments in Environment Machines (Q5170161) (← links)
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746) (← 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)