Pages that link to "Item:Q4507489"
From MaRDI portal
The following pages link to Coherence and transitivity of subtyping as entailment (Q4507489):
Displaying 9 items.
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- Transitivity in coercive subtyping (Q1776403) (← links)
- A sequent calculus for subtyping polymorphic types (Q1854408) (← links)
- Logical equivalence for subtyping object and recursive types (Q2481559) (← links)
- Logic of subtyping (Q2500487) (← links)
- Coherence and Transitivity in Coercive Subtyping (Q2996166) (← links)
- Coercions in a polymorphic type system (Q3520150) (← links)
- (Q4027624) (← links)
- Coercion completion and conservativity in coercive subtyping (Q5957918) (← links)