Pages that link to "Item:Q1350344"
From MaRDI portal
The following pages link to Intersection type assignment systems (Q1350344):
Displayed 8 items.
- Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418) (← links)
- On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
- The heart of intersection type assignment: Normalisation proofs revisited (Q930869) (← links)
- A typed lambda calculus with intersection types (Q930870) (← links)
- Normalization results for typeable rewrite systems (Q1357006) (← links)
- Normalization, approximation, and semantics for combinator systems (Q1853619) (← links)
- Intersection types for explicit substitutions (Q1887145) (← links)
- Logical equivalence for subtyping object and recursive types (Q2481559) (← links)