Pages that link to "Item:Q2851090"
From MaRDI portal
The following pages link to Intersection types for light affine lambda calculus (Q2851090):
Displaying 6 items.
- A semantic measure of the execution time in linear logic (Q534698) (← links)
- Call-by-value, elementary time and intersection types (Q1990483) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- A Translation of Intersection and Union Types for the λμ-Calculus (Q2789043) (← links)
- Strict intersection types for the lambda calculus (Q2875057) (← links)
- Linearization of the lambda-calculus and its relation with intersection type systems (Q5692152) (← links)