Completeness of type assignment systems with intersection, union, and type quantifiers
scientific article; zbMATH DE number 1715302