The following pages link to Order-sorted inductive types (Q1286367):
Displaying 5 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- An algebraic semantics of higher-order types with subtypes (Q1323318) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- Sorting Multidimensional Types: Theory and Application (Q4610846) (← links)
- Soft typing for ordered resolution (Q5234715) (← links)