Pages that link to "Item:Q558418"
From MaRDI portal
The following pages link to Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418):
Displayed 7 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- The heart of intersection type assignment: Normalisation proofs revisited (Q930869) (← links)
- A typed lambda calculus with intersection types (Q930870) (← links)
- An irregular filter model (Q930872) (← links)
- Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming (Q3007669) (← links)
- (Q5089030) (← links)