The following pages link to Subtyping dependent types (Q5958760):
Displayed 9 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- Dependent type system with subtyping I: Type level transitivity elimination (Q1273074) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Dependent types with subtyping and late-bound overloading (Q1854436) (← links)
- Structural subtyping for inductive types with functorial equality rules (Q3535679) (← links)
- Coherence of subsumption for monadic types (Q3616445) (← links)
- Subtyping dependent types (Q5958760) (← links)