Pages that link to "Item:Q1351999"
From MaRDI portal
The following pages link to Strong normalization for non-structural subtyping via saturated sets (Q1351999):
Displaying 4 items.
- Strong normalization for typed terms with surjective pairing (Q1092042) (← links)
- Incompressibility of \(H\)-free edge modification problems (Q2343091) (← links)
- Strong normalization with non-structural subtyping (Q4862765) (← links)
- Strong normalizability of the non-deterministic catch/throw calculi (Q5958297) (← links)