Typed operational semantics for higher-order subtyping.
scientific article; zbMATH DE number 1967136
scientific article