Pages that link to "Item:Q2875057"

The following pages link to Strict intersection types for the lambda calculus (Q2875057):

Displaying 16 items.

• Semantic types and approximation for Featherweight Java (Q387991) (← links)
• Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418) (← links)
• Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
• Complete restrictions of the intersection type discipline (Q1193654) (← links)
• A binary modal logic for the intersection types of lambda-calculus. (Q1427854) (← links)
• Nominal essential intersection types (Q1643145) (← links)
• Strong normalization through intersection types and memory (Q1744407) (← links)
• 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)
• Intersection types for light affine lambda calculus (Q2851090) (← links)
• (Q2966100) (← links)
• Intersection types for λGtz-calculus (Q3510443) (← links)
• A classification of intersection type systems (Q4532620) (← links)
• Functional Type Assignment for Featherweight Java (Q5410450) (← links)
• Linearization of the lambda-calculus and its relation with intersection type systems (Q5692152) (← links)