The following pages link to (Q4474829):
Displayed 8 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- Higher-order subtyping (Q1392282) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Comparing object encodings. (Q1854318) (← links)
- Type destructors (Q1854494) (← links)
- Syntactic Metatheory of Higher-Order Subtyping (Q3540196) (← links)
- Subtyping dependent types (Q5958760) (← links)