Quantifiers on languages and codensity monads | IEEE Conference Publication | IEEE Xplore