Pages that link to "Item:Q4903713"
From MaRDI portal
The following pages link to Completeness and Soundness Results for 𝒳 with Intersection and Union Types (Q4903713):
Displaying 4 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- A completeness result for a realisability semantics for an intersection type system (Q882122) (← links)
- Functional Type Assignment for Featherweight Java (Q5410450) (← links)
- Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models (Q5958296) (← links)