The following pages link to Linear explicit substitutions (Q4444908):
Displayed 5 items.
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← 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)