The following pages link to The Power of Linear Functions (Q3613332):
Displayed 8 items.
- Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
- Gödel's system \(\mathcal T\) revisited (Q960861) (← links)
- Combining linear logic and size types for implicit complexity (Q1989323) (← links)
- A type-assignment of linear erasure and duplication (Q2193281) (← links)
- An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$ (Q2798262) (← links)
- The Power of Closed Reduction Strategies (Q2866800) (← links)
- Minimality in a Linear Calculus with Iteration (Q2873683) (← links)
- On the reification of semantic linearity (Q5741580) (← links)