The following pages link to Higher-order subtyping (Q1392282):
Displayed 11 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- Comparing object encodings. (Q1854318) (← links)
- Full Abstraction in a Subtyped pi-Calculus with Linear Types (Q3090836) (← links)
- Polarised subtyping for sized types (Q3535676) (← links)
- Syntactic Metatheory of Higher-Order Subtyping (Q3540196) (← links)
- Type-Based Termination with Sized Products (Q3540199) (← links)
- Coherence of subsumption for monadic types (Q3616445) (← links)
- A Tutorial on Type-Based Termination (Q5191089) (← links)