Pages that link to "Item:Q1401950"
From MaRDI portal
The following pages link to Typed operational semantics for higher-order subtyping. (Q1401950):
Displaying 8 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Dependent types with subtyping and late-bound overloading (Q1854436) (← links)
- Strong Normalization with Singleton Types (Q2842835) (← links)
- Polarised subtyping for sized types (Q3535676) (← links)
- Syntactic Metatheory of Higher-Order Subtyping (Q3540196) (← links)
- Taming the Merge Operator (Q5020905) (← links)
- Subtyping dependent types (Q5958760) (← links)
