Partial pushout semantics of generics in DOL
scientific article; zbMATH DE number 6910732