Inclusions and subtypes II: higher-order case | Publicación