Completeness of type assignment systems with intersection, union, and type quantifiers | IEEE Conference Publication | IEEE Xplore