Pages that link to "Item:Q1744407"
From MaRDI portal
The following pages link to Strong normalization through intersection types and memory (Q1744407):
Displaying 5 items.
- An elementary proof of strong normalization for intersection types (Q1407502) (← links)
- Strong normalization and typability with intersection types (Q1924327) (← links)
- Non-idempotent intersection types and strong normalisation (Q2851671) (← links)
- (Q4457448) (← links)
- Types as resources for classical natural deduction (Q5111320) (← links)