Pages that link to "Item:Q2941754"
From MaRDI portal
The following pages link to Bounding linear head reduction and visible interaction through skeletons (Q2941754):
Displaying 4 items.
- Exact bounds for acyclic higher-order recursion schemes (Q2112794) (← links)
- GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION (Q4977225) (← 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)