Higher-order subtyping and its decidability
scientific article; zbMATH DE number 2083129
scientific article