The following pages link to (Q4457448):
Displaying 9 items.
- On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
- Strong normalization for typed terms with surjective pairing (Q1092042) (← links)
- An elementary proof of strong normalization for intersection types (Q1407502) (← links)
- Strong normalization through intersection types and memory (Q1744407) (← links)
- Normalization without reducibility (Q1840460) (← links)
- Strong normalization and typability with intersection types (Q1924327) (← links)
- Ensuring termination by typability (Q2500473) (← links)
- Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types (Q3000601) (← links)
- (Q5076058) (← links)