Quantifiers on languages and codensity monads.

Mai Gehrke, Daniela Petrisan, Luca Reggio

Browse the full LICS paper archive.