Pages that link to "Item:Q4507489"
From MaRDI portal
The following pages link to Coherence and transitivity of subtyping as entailment (Q4507489):
Displaying 5 items.
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- Transitivity in coercive subtyping (Q1776403) (← links)
- Logic of subtyping (Q2500487) (← links)
- Coercions in a polymorphic type system (Q3520150) (← links)
- Coercion completion and conservativity in coercive subtyping (Q5957918) (← links)
