Pages that link to "Item:Q3190169"
From MaRDI portal
The following pages link to Quantitative Types for the Linear Substitution Calculus (Q3190169):
Displayed 15 items.
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- Nominal essential intersection types (Q1643145) (← links)
- Strong normalization through intersection types and memory (Q1744407) (← links)
- The bang calculus revisited (Q2039931) (← links)
- The spirit of node replication (Q2233421) (← links)
- Reasoning About Call-by-need by Means of Types (Q2811356) (← links)
- A resource aware semantics for a focused intuitionistic calculus (Q4559602) (← links)
- (Q4580327) (← links)
- (Q5111320) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- (Q5208874) (← links)
- (Q6079229) (← links)
- The bang calculus revisited (Q6116183) (← links)
- A strong call-by-need calculus (Q6135746) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)