Home

Adriana__Compagnoni


Antisymmetry of higher-order subtyping

Decidability of higher-order subtyping via logical relations

Subject Reduction and Minimal Types for Higher Order Subtyping