Pages that link to "Item:Q4862765"
From MaRDI portal
The following pages link to Strong normalization with non-structural subtyping (Q4862765):
Displaying 4 items.
- Strong normalization for typed terms with surjective pairing (Q1092042) (← links)
- Polymorphic rewriting conserves algebraic strong normalization (Q1176244) (← links)
- Strong normalization for non-structural subtyping via saturated sets (Q1351999) (← links)
- Type inference with non-structural subtyping (Q1355750) (← links)