Pages that link to "Item:Q5747746"
From MaRDI portal
The following pages link to Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746):
Displaying 6 items.
- LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) (← links)
- (Q4364376) (← links)
- Linear explicit substitutions (Q4444908) (← links)
- A Linear Spine Calculus (Q4444935) (← links)
- Optimality and the linear substitution calculus (Q5111304) (← links)
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746) (← links)