The following pages link to (Q4600774):
Displaying 10 items.
- Intersection types and lambda models (Q2369008) (← links)
- Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033) (← links)
- A Translation of Intersection and Union Types for the λμ-Calculus (Q2789043) (← links)
- Polar type inference with intersection types and \(\omega\) (Q2842834) (← links)
- Intersection types for light affine lambda calculus (Q2851090) (← links)
- Strict intersection types for the lambda calculus (Q2875057) (← links)
- Isomorphism of "Functional" Intersection Types (Q2968414) (← links)
- (Q4699351) (← links)
- Linearization of the lambda-calculus and its relation with intersection type systems (Q5692152) (← links)
- Adding Negation to Lambda Mu (Q6135761) (← links)
